Gaya APA

LAM, W, K. (2005). Hardware Design Verification: Simulation and Formal Method-Based Approaches (1). New Jersey: Prentice Hall.

Gaya MLA

LAM, William, K. "Hardware Design Verification: Simulation and Formal Method-Based Approaches". 1 New Jersey: Prentice Hall, 2005. Printed.