TY  - BOOK
AU  - Roever, Willem-Paul de 
AU  - Engelhardt, Kai 
TI  - Data refinement : model-oriented proof methods and their comparison
SN  - 9780511663079
PY  - 2010///
PB  - Cambridge university press
KW  - Algorithmics
KW  - Complexity
KW  - Computer Algebra
KW  - Computational Geometry
KW  - Computer Science
KW  - Programming Languages and Applied Logic
UR  - https://doi.org/10.1017/CBO9780511663079
ER  -