TY  - BOOK
AU  - Erik Seligman
TI  - Formal Verification: An Essential Toolkit for Modern VLSI Design, 2ed
SN  - 9780323956123
PB  - Elsevier
KW  - Engineering
UR  - https://www.sciencedirect.com/science/book/9780323956123
ER  -