TY  - BOOK
AU  - JONATHAN P BOWEN ; MICHAEL G HINCHEY
TI  - INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE
SN  - 1852336404
U1  - 005.131 
PB  - SPRINGER INC
KW  - COMPUTER SCIENCE
KW  - GENERAL
ER  -