Yoeli, M., ed.
Formal verification of hardware design - Los Alamitos IEEE Computer Society Press 1990 - 326 p.
0-8186-9017-8
COMPUTER HARDWARE-DESIGN
681.3.02 / F6
Formal verification of hardware design - Los Alamitos IEEE Computer Society Press 1990 - 326 p.
0-8186-9017-8
COMPUTER HARDWARE-DESIGN
681.3.02 / F6