Automated Technology for Verification and Analysis

MLA

Bultan, Tevfik, et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2011.

APA

Bultan, T., Hsiung, P., Kanade, T., & Kittler, J. (2011). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Bultan, Tevfik, Pao-Ann Hsiung, Takeo Kanade, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2011.