Παραπομπή APA
Lam, W. K. (2005). Hardware Design Verification: Simulation and formal methods - based approaches. New Jersey: Pearson Education.
Παραπομπή Chicago StyleLam, William K. Hardware Design Verification: Simulation and Formal Methods - Based Approaches. New Jersey: Pearson Education, 2005.
Παραπομπή MLALam, William K. Hardware Design Verification: Simulation and Formal Methods - Based Approaches. New Jersey: Pearson Education, 2005.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.