APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Seligman, Erik, E. Thomas Schubert, and M. V. Achutha Kiran Kumar. Formal Verification: An Essential Toolkit for Modern VLSI Design. Second edition. Cambridge, MA: Morgan Kaufmann, 2023.

MLA (9th ed.) Citation

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