APA-Zitierstil (7. Ausg.)

Seligman, E., Schubert, T., & Kumar, M. V. A. K. (2023). Formal verification: An essential toolkit for modern VLSI design (Second edition.). Morgan Kaufmann Publishers, an imprint of Elsevier.

Chicago-Zitierstil (17. Ausg.)

Seligman, Erik, Tom Schubert, und M. V. Achutha Kiran Kumar. Formal Verification: An Essential Toolkit for Modern VLSI Design. Second edition. Cambridge, MA, United States: Morgan Kaufmann Publishers, an imprint of Elsevier, 2023.

MLA-Zitierstil (9. Ausg.)

Seligman, Erik, et al. Formal Verification: An Essential Toolkit for Modern VLSI Design. Second edition. Morgan Kaufmann Publishers, an imprint of Elsevier, 2023.