Automated Technology for Verification and Analysis

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Mizuhito Ogawa. Automated Technology for Verification and Analysis. Springer International Publishing, 2013.

APA

Hutchison, J., Kittler, J., & Ogawa, M. (2013). Automated Technology for Verification and Analysis. Springer International Publishing.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Mizuhito Ogawa. Automated Technology for Verification and Analysis. : Springer International Publishing, 2013.