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 eBooks..

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." Springer EBooks. 2011.

MLA (9th ed.) Citation

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