TY  - BOOK
AU  - GEORGE MILNE
TI  - FORMAL SPECIFICATION AND VERIFICATION OF DIGITAL SYSTEMS
SN  - 007707811X
U1  - 621.392           M4 
PB  - MCGRAW HILL BOOK COMPANY
KW  - ELECTRONICS
KW  - DIGITAL SYSTEMS
ER  -