W K. · William H K Lam · William L.
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion |
|---|---|---|---|
| Hardware Design Verification: Simulation and Formal Method-Based Approaches | Paperback | 978-0-13-701092-9 (0-13-701092-3) | 2008 |
| Hardware Design Verification: Simulation and Formal Method-Based Approaches | Hardcover | 978-0-13-143347-2 (0-13-143347-4) | 2005 |