TY  - BOOK
AU  - Current trends in
AU  - 
TI  - Current trends in hardware verification and automated theorem proving
U1  - 621.3.049.77 
PY  - 1989///
CY  - New York
PB  - Springer-Verlag
KW  - hardware verification
KW  - Computer hardware
ER  -