TY  - BOOK
ED  - International Symposium of VDM Europe Kiel(3rd:1990)
ED  - 
TI  - VDM Europe Keil: VDM'90:VDM and Z-Formal methods in software development
U1  - 5.3 
PY  - 1990///
CY  - Berlin
PB  - Springer verlag
KW  - Computer science
ER  -