TY  - BOOK
AU  - Bowen, Jonathan P.
AU  - Hinchey, Michael G. 
TI  - Applications of formal methods
SN  - 9780133669497
AV  - QA76.9.S88 .A68 1996
PY  - 1996///
PB  - Prentice Hall International (Uk) Ltd.
KW  - Computer software
KW  - Development
ER  -