Automated Technology for Verification and Analysis

MLA

Bouajjani, Ahmed, et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2010.

APA

Bouajjani, A., Chin, W., Kanade, T., & Kittler, J. (2010). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Bouajjani, Ahmed, Wei-Ngan Chin, Takeo Kanade, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2010.