Leveraging Applications of Formal Methods, Verification and Validation. Verification

MLA

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

APA

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

Chicago

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