Cita APA (7th ed.)

Jones, R., O'Leary, J., Seger, C., Aagaard, M., & Melham, T. (2015). Practical Formal Verification in Microprocessor Design.

Cita Chicago (17th ed.)

Jones, R., J. O'Leary, C. Seger, M. Aagaard, i T. Melham. Practical Formal Verification in Microprocessor Design. 2015.

Cita MLA (9th ed.)

Jones, R., et al. Practical Formal Verification in Microprocessor Design. 2015.