TY  - BOOK
AU  - Perry,Douglas L.
AU  - Foster,Harry
TI  - Applied formal verification
T2  - McGraw-Hill electronic engineering
SN  - 007144372X
PY  - 2005///
CY  - New York
PB  - McGraw-Hill
KW  - Electronic circuits
KW  - Testing
KW  - Integrated circuits
KW  - Verification
N1  - Includes bibliographical references (p. 227-229) and index
ER  -