APA Citation

Bertacco, V. (2006). Scalable hardware verification with symbolic simulation. New York: Springer.

Chicago Style Citation

Bertacco, Valeria. Scalable Hardware Verification With Symbolic Simulation. New York: Springer, 2006.

MLA Citation

Bertacco, Valeria. Scalable Hardware Verification With Symbolic Simulation. New York: Springer, 2006.

Warning: These citations may not always be 100% accurate.