Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

MLA

Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. Springer Berlin Heidelberg, 2014.

APA

Margaria, M., & Steffen, B. (2014). Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. Springer Berlin Heidelberg.

Chicago

Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. : Springer Berlin Heidelberg, 2014.