TY  - BOOK
AU  - Subrahmanyam, P. A., ed.
ED  - Birtwistle, G., ed.
TI  - Current trends in hardware verification and automated theorem proving
SN  - 0387969888
U1  - 621.395 
PY  - 1989///
CY  - New York
PB  - Springer-Verlag
ER  -