TY  - BOOK
AU  - Kropf, Thomas. Ed.
TI  - Formal Hardware Verification : Methods and Systems in Comparison
SN  - 3540634754
CY  - Berlin
KW  - Hardware Verification
ER  -