Cita APA (7a ed.)

Lam, W. K. C. (2005). Hardware design verification: Simulation and formal method-based approaches (1st edition.). Prentice Hall Professional Technical Reference.

Cita Chicago Style (17a ed.)

Lam, William K. C. Hardware Design Verification: Simulation and Formal Method-based Approaches. 1st edition. Upper Saddle River, NJ: Prentice Hall Professional Technical Reference, 2005.

Cita MLA (9a ed.)

Lam, William K. C. Hardware Design Verification: Simulation and Formal Method-based Approaches. 1st edition. Prentice Hall Professional Technical Reference, 2005.