TY  - BOOK
AU  - Bjorner, D. Ed.
AU  - Hoare, C A R. Ed.
AU  - Langmaack, H. Ed.
TI  - VDM '90 - VDM and Z-Formal Methods in Software Development: Proceedings, 3rd International Symp. Kiel, FRG, 1990
SN  - 3540525130
CY  - Berlin
KW  - VDM and Z
KW  - Formal Methods
KW  - Software Development
ER  -