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

MLA

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

APA

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

Chicago

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