APA (7th ed.) Citation

Li, L., & Thornton, M. A. (2010). Digital system verification: A combined formal methods and simulation framework. Morgan & Claypool Publishers.

Chicago Style (17th ed.) Citation

Li, Lun, and Mitchell Aaron Thornton. Digital System Verification: A Combined Formal Methods and Simulation Framework. [San Rafael, Calif.]: Morgan & Claypool Publishers, 2010.

MLA (9th ed.) Citation

Li, Lun, and Mitchell Aaron Thornton. Digital System Verification: A Combined Formal Methods and Simulation Framework. Morgan & Claypool Publishers, 2010.