Computer Aided Verification

MLA

Gopalakrishnan, Ganesh, et al. Computer Aided Verification. Springer Berlin Heidelberg, 2011.

APA

Gopalakrishnan, G., Kanade, T., Qadeer, S., & Kittler, J. (2011). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Gopalakrishnan, Ganesh, Takeo Kanade, Shaz Qadeer, and Josef Kittler. Computer Aided Verification. : Springer Berlin Heidelberg, 2011.