Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

MLA

Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium On Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part Iii. Springer International Publishing, 2020.

APA

Margaria, M., & Steffen, B. (2020). Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III. Springer International Publishing.

Chicago

Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium On Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III. : Springer International Publishing, 2020.