TY  - BOOK
AU  - Bjorner D
ED  - VIM-Europe Symposium( 1987 : Belgium )
ED  - VIM-Europe Symposium
TI  - VDM -a formal method at work : proceedings
SN  - 3-540-17654-3
U1  - 5.3 
PY  - 1987///
CY  - Berlin
PB  - Springer Verlag
KW  - software development
KW  - VDM
ER  -