Scalable Hardware Verification with Symbolic Simulation

MLA

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

APA

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

Chicago

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