Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

MLA

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

APA

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

Chicago

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