Leveraging Applications of Formal Methods, Verification and Validation

MLA

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

APA

Tiziana Margaria, T. Margaria, & Steffen, B. (2021). Leveraging Applications of Formal Methods, Verification and Validation. Springer International Publishing.

Chicago

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