TY  - BOOK
AU  - MILNE G
TI  - FORMAL SPCIFICATION AND VERIFICATION OFDIGITAL SYSTEM
SN  - NULL
U1  - N.D. 
PY  - 1994///
CY  - NULL
PB  - MCGRAW HILL BOOKS
KW  - NULL
ER  -