TY  - BOOK
AU  - Drechsler, Rolf
TI  - Formal Verification of Circuits
SN  - 079237858X
U1  - 621.3815 DRE 
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Electronic circuits --Testing
ER  -