TY  - BOOK
AU  - Milne George
TI  - Formal specification and verification of digital systems
SN  - 007707811X (hbd)
U1  - D65,221:5, N4 
PY  - 1994///
CY  - London
PB  - McGraw-HillBook Company        
KW  -  Circuits
KW  -  Digital integrated
KW  -  Specification
KW  - Electronics
N1  - Bibliographical references 232-235p; Index 236-240p
ER  -