Jones, R., O'Leary, J., Seger, C., Aagaard, M., & Melham, T. (2015). Practical Formal Verification in Microprocessor Design.
Lua i Stíl Chicago (17ú heag.)Jones, R., J. O'Leary, C. Seger, M. Aagaard, agus T. Melham. Practical Formal Verification in Microprocessor Design. 2015.
Lua MLA (9ú heag.)Jones, R., et al. Practical Formal Verification in Microprocessor Design. 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.