Automated Technology for Verification and Analysis

MLA

Graf, Susanne, et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2006.

APA

Graf, S., Kanade, T., Zhang, W., & Kittler, J. (2006). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Graf, Susanne, Takeo Kanade, Wenhui Zhang, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2006.