TY  - DATA
AU  - John Fitzgerald, Cliff B. Jones, Peter Lucas
TI  - FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
SN  - 9783540695936
PY  - 1997///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-63533-5
ER  -