TY  - DATA
AU  - James C.P. Woodcock, Peter G. Larsen
TI  - FME '93: Industrial-Strength Formal Methods
SN  - 9783540476238
PY  - 1993///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/BFb0024633
ER  -