TY  - BOOK
AU  - Naftalin Maurice
ED  - International Symposium on Formal Methods Europe( 2nd : 1994 : Bercelona )
ED  - International Symposium on Formal Methods Europe 2nd
TI  - Industrial benefit of formal methods : proceedings
SN  - 3-540-58575-9
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Formal methods
ER  -