TY  - BOOK
AU  - Formal Methods And Software Development
TI  - Formal methods and software development: v 2 :colloquium on software engineering (cse)
SN  - 3 540 15199 0
PY  - 1985///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer software - Developments
ER  -