TY  - BOOK
AU  - Perry, Douglas L
AU  - Foster, Harry
TI  - Applied formal verification
SN  - 9780071443722
U1  - 621.3815 PER 
PY  - 2005///
CY  - New York
PB  - McGraw Hill
KW  - Electronic circuits - Testing
ER  -