Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (8a ed.)

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