Jones, R., O'Leary, J., Seger, C., Aagaard, M., & Melham, T. (2015). Practical Formal Verification in Microprocessor Design.
Style de citation Chicago (17e éd.)Jones, R., J. O'Leary, C. Seger, M. Aagaard, et T. Melham. Practical Formal Verification in Microprocessor Design. 2015.
Style de citation MLA (9e éd.)Jones, R., et al. Practical Formal Verification in Microprocessor Design. 2015.
Attention : ces citations peuvent ne pas être correctes à 100%.