TY  - BOOK
AU  - Naftalin,Maurice
AU  - Denvir,Tim
AU  - Bertran,Miquel
ED  - International Symposium of Formal Methods Europe
TI  - FME '94: industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings 
SN  - 3540585559
AV  - QA76.76 D47 I593 1994
PY  - 1994///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
ER  -