APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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