Jones, R., O'Leary, J., Seger, C., Aagaard, M., & Melham, T. (2015). Practical Formal Verification in Microprocessor Design.
Chicago-referens (17:e uppl.)Jones, R., J. O'Leary, C. Seger, M. Aagaard, och T. Melham. Practical Formal Verification in Microprocessor Design. 2015.
MLA-referens (9:e uppl.)Jones, R., et al. Practical Formal Verification in Microprocessor Design. 2015.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.