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

MLA

Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Springer Berlin Heidelberg, 2014.

APA

Margaria, M., & Steffen, B. (2014). Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Springer Berlin Heidelberg.

Chicago

Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. : Springer Berlin Heidelberg, 2014.