APA (7th ed.) Citation

Kundu, S., Lerner, S., & Gupta, R. K. (2011). High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer New York.

Chicago Style (17th ed.) Citation

Kundu, Sudipta, Sorin Lerner, and Rajesh K. Gupta. High-Level Verification: Methods and Tools for Verification of System-Level Designs. New York, NY: Springer New York, 2011.

MLA (8th ed.) Citation

Kundu, Sudipta, et al. High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer New York, 2011.