TY  - BOOK
AU  - Perry,Douglas L.
AU  - Foster,Harry
TI  - Applied formal verification
T2  - McGraw-Hill electronic engineering
SN  - 007144372X
U1  - 621.3815 22
PY  - 2005///
CY  - New York
PB  - McGraw-Hill
KW  - Integrated circuits- Verification
KW  - Electronic circuits- Testing
N1  - Includes bibliographical references (p. 227-229) and index; EEE
UR  - http://www.loc.gov/catdir/enhancements/fy0624/2005047881-t.html
ER  -