Seligman, E. (2015). Formal Verification: An Essential Toolkit for Modern VLSI Design. Elsevier Science.
Chicago-Zitierstil (17. Ausg.)Seligman, Erik. Formal Verification: An Essential Toolkit for Modern VLSI Design. Elsevier Science, 2015.
MLA-Zitierstil (9. Ausg.)Seligman, Erik. Formal Verification: An Essential Toolkit for Modern VLSI Design. Elsevier Science, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.