TY  - BOOK
AU  - Bjorner, D. et al Eds.
TI  - VDM '87 - VDM a formal method at work: Proceedings, VDM-Europe Symp., Belgium, 1987
SN  - 3540176543
CY  - Berlin
KW  - VDM - Formal method at work
ER  -