TY  - BOOK
AU  - MICHEAL G HINCHEY; JONATHAN P BOWEN EDS.
TI  - APPLICATIONS OF FORMAL METHODS
SN  - 0133669491
U1  - 620.0042 0151 3  N 6 
PB  - PRENTICE-HALL
KW  - MECHANICAL
KW  - ENGINEERING DESIGN
ER  -