Computer Aided Verification

MLA

Gupta, Aarti, et al. Computer Aided Verification. Springer Berlin Heidelberg, 2008.

APA

Gupta, A., Kanade, T., Malik, S., & Kittler, J. (2008). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Gupta, Aarti, Takeo Kanade, Sharad Malik, and Josef Kittler. Computer Aided Verification. : Springer Berlin Heidelberg, 2008.