Παραπομπή σε μορφή APA (7η εκδ.)

Bertacco, V. (2006). Scalable Hardware Verification with Symbolic Simulation. Springer US.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Bertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Boston, MA: Springer US, 2006.

Παραπομπή σε μορφή MLA (8th εκδ.)

Bertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer US, 2006.