Automated Technology for Verification and Analysis

MLA

Kanade, Takeo, et al. Automated Technology for Verification and Analysis. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Peled, D., Tsay, Y., & Kittler, J. (2005). Automated Technology for Verification and Analysis. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Doran Peled, Yih-Kuen Tsay, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin / Heidelberg, 2005.