APA (7th ed.) Citation

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 Style (17th ed.) Citation

Seligman, Erik, Tom Schubert, and 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 (9th ed.) Citation

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