Automated Technology for Verification and Analysis

MLA

Hutchison, David, et al. Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Chakraborty, S., & Kittler, J. (2012). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Supratik Chakraborty, and Josef Kittler. Automated Technology for Verification and Analysis. : Springer Berlin Heidelberg, 2012.