TY  - BOOK
AU  - THOMAS KROPF
TI  - INTRODUCTION TO FORMAL HARDWARE VERIFICATION
SN  - 3540654453
U1  - 004.5 
PB  - SPRINGER INC
KW  - STORAGE
KW  - GENERAL
ER  -