TY  - BOOK
AU  - Woodcock J C P
ED  - International Symposium on Formal Methods Europe( 1st : 1993 : Denmark )
ED  - International Symposium on Formal Methods Europe 1st
TI  - Industrial stength formal methods : proceedings
U1  - 5.131 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Formal methods
ER  -