Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

MLA

Hutchison, David, et al. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. Springer Berlin Heidelberg, 2012.

APA

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

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. : Springer Berlin Heidelberg, 2012.