Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

MLA

Hutchison, David, et al. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Kittler, J., & Steffen, B. (2012). Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. : Springer Berlin Heidelberg, 2012.