APA (7. basım) Alıntı

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

Chicago Style (17. basım) Atıf

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

MLA (9th ed.) Atıf

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