TY  - BOOK
AU  -  Micheal G. Hinchey
TI  - Applications Of Formal Methods
U1  - 004.21 HIN 
PY  - 1995///
PB  -  Prentice Hall
ER  -