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

MLA

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

APA

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

Chicago

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