TY  - BOOK
AU  - Milne,George J.
TI  - Formal specification and verification of digital systems
SN  - 007707811X (hbk.)
PY  - 1994///
CY  - London
PB  - McGraw-Hill
KW  - Digital integrated circuits
KW  - Design and construction
KW  - Data processing
KW  - Integrated circuits
KW  - Verification
KW  - Computer hardware description languages
N1  - Includes index; Includes bibliographical references
ER  -