TY  - BOOK
AU  - Kropf Thomas
TI  - Introduction to formal hardware verification
SN  - 9783540654452
U1  - 621.395 
CY  - Germany
KW  - ETC
ER  -