Mishra, P., & Dutt, N. D. (2005). Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer US.
Παραπομπή σε μορφή Chicago (17η εκδ.)Mishra, Prabhat, και Nikil D. Dutt. Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Boston, MA: Springer US, 2005.
Παραπομπή σε μορφή MLA (8th εκδ.)Mishra, Prabhat, και Nikil D. Dutt. Functional Verification of Programmable Embedded Architectures: A Top-Down Approach. Springer US, 2005.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.