TY  - GEN
AU  - Yoeli, M., ed.
TI  - Formal verification of hardware design
SN  - 0-8186-9017-8
PY  - 1990///
CY  - Los Alamitos
PB  - IEEE Computer Society Press
KW  - COMPUTER HARDWARE-DESIGN
ER  -