TY  - BOOK
AU  - Gaudel,Marie-Claude
AU  - Woodcock,James
ED  - International Symposium of Formal Methods Europe
TI  - FME '96: industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe, Co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings 
SN  - 3540609733
AV  - QA76.76 D47 I593 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
ER  -