APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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.

MLA (9th ed.) Citation

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