Computer Aided Verification

MLA

Etessami, Kousha, et al. Computer Aided Verification. Springer Berlin Heidelberg, 2005.

APA

Etessami, K., Kanade, T., Rajamani, S. K, & Kittler, J. (2005). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Etessami, Kousha, Takeo Kanade, Sriram K Rajamani, and Josef Kittler. Computer Aided Verification. : Springer Berlin Heidelberg, 2005.