High-Level Verification

MLA

Lerner, Sorin, et al. High-level Verification. Springer New York, 2011.

APA

Lerner, S., Gupta, R. Kumar, Kundu, S., & Gupta, R. K. (2011). High-Level Verification. Springer New York.

Chicago

Lerner, Sorin, Rajesh Kumar Gupta, Sudipta Kundu, and Rajesh K Gupta. High-Level Verification. : Springer New York, 2011.