TY  - BOOK
AU  - Fitzgerald,John
AU  - Jones,Cliff B.
AU  - Lucas,Peter
ED  - International Symposium of Formal Methods Europe
TI  - FME '97: industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 1997 : proceedings 
SN  - 3540635335
AV  - QA76.76 D47 I593 1997
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
ER  -