TY  - BOOK
AU  - Kropf, Thomas
TI  - Introduction to Formal Hardware Verification
SN  - 9783540654452
PY  - 2014///
PB  - Subhas Stores Books Corner
ER  -