TY  - BOOK
AU  - de Roever, Willem-Paul
AU  - Engelhardt, Kai
TI  - Data refinement: model-oriented proof methods and their comparison
SN  - 0521641705
CY  - Cambridge
KW  - Computer simulation
KW  - Data structures (Computer science)
KW  - Computer programs
KW  - Verification
ER  -