Computer Aided Verification

MLA

Bouajjani, Ahmed, et al. Computer Aided Verification. Springer Berlin Heidelberg, 2009.

APA

Bouajjani, A., Kanade, T., Maler, O., & Kittler, J. (2009). Computer Aided Verification. Springer Berlin Heidelberg.

Chicago

Bouajjani, Ahmed, Takeo Kanade, Oded Maler, and Josef Kittler. Computer Aided Verification. : Springer Berlin Heidelberg, 2009.