TY  - BOOK
AU  - Hinchey, Michael G 
TI  - Industrial strength: Formal methods in practice
SN  - 1852336404
U1  - 005.131 HIN/I 
PY  - 1999///
CY  - London
PB  - Springer
KW  - FORMAL METHODS
ER  -