Leveraging Applications of Formal Methods, Verification and Validation. Modeling

MLA

Margaria, Bernhard Steffen, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Modeling. Springer International Publishing, 2018.

APA

Margaria, M., Bernhard Steffen, B. Steffen, & Steffen, B. (2018). Leveraging Applications of Formal Methods, Verification and Validation. Modeling. Springer International Publishing.

Chicago

Margaria, Bernhard Steffen, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Modeling. : Springer International Publishing, 2018.