Seligman, E., Schubert, T., & Kumar, M. V. A. K. (2015). Formal verification: An essential toolkit for modern VLSI design. Elsevier Science.
Style de citation Chicago (17e éd.)Seligman, Erik, Tom Schubert, et M. V. Achutha Kiran Kumar. Formal Verification: An Essential Toolkit for Modern VLSI Design. Amsterdam: Elsevier Science, 2015.
Style de citation MLA (8e éd.)Seligman, Erik, et al. Formal Verification: An Essential Toolkit for Modern VLSI Design. Elsevier Science, 2015.
Attention : ces citations peuvent ne pas être correctes à 100%.