TY  - BOOK
AU  - Fitzgerald, J.: Jones, C.B.: Lucas, P.:
TI  - FME 97 : Industrial Applications and Strengthened Foundations of Formal Methods : Lecture Notes in Computer Science
SN  - 0003540635335
U1  - 005.12 
PB  - Springer: Tokyo
KW  - Formal Methods
ER  -