Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.