TY  - GEN
AU  - Milne,George
TI  - Formal specufication and Verification Of Digital Systems
SN  - 007707811X
U1  - 621.391 
PY  - 1994///
CY  - London
PB  - McGraw Hill
KW  - Digital Integrated Circuits -Design and Construction-Data processing -Integrated circuits-Verification Hard ware descripition language
KW  - Digital inted circuits-Verification
ER  -