TY  - BOOK
AU  -  Michael G. Hinchey & Jonathan P. Bowen -
TI  - Applications Of Formal Methods
SN  - 9780133669497
U1  - 004.21 HIN 
PY  - 1995///
PB  -  Prentice Hall International (Uk) Ltd.
ER  -