Jones, R., O'Leary, J., Seger, C., Aagaard, M., & Melham, T. (2015). Practical Formal Verification in Microprocessor Design.
Цитирование в стиле Чикаго (17-е изд.)Jones, R., J. O'Leary, C. Seger, M. Aagaard, и T. Melham. Practical Formal Verification in Microprocessor Design. 2015.
Цитирование MLA (9-е изд.)Jones, R., et al. Practical Formal Verification in Microprocessor Design. 2015.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.