TY  - BOOK
AU  - Drechsler, Rolf
TI  - Advanced formal verification
SN  - NMIT000425
PY  - 2012///
PB  - McGraw-Hill Education (India) Limited
ER  -