Data refinement : model-oriented proof methods and their comparison
Roever, Willem-Paul de
Data refinement : model-oriented proof methods and their comparison by Willem-Paul de Roever and Kai Engelhardt - Cambridge university press 2010 - Cambridge tracts in theoretical computer science; no. 47 .
9780511663079
Algorithmics Complexity Computer Algebra Computational Geometry Computer Science Programming Languages and Applied Logic
Data refinement : model-oriented proof methods and their comparison by Willem-Paul de Roever and Kai Engelhardt - Cambridge university press 2010 - Cambridge tracts in theoretical computer science; no. 47 .
9780511663079
Algorithmics Complexity Computer Algebra Computational Geometry Computer Science Programming Languages and Applied Logic