Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.