Margaria, T., & 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 (1st ed. 2020.). Cham: Springer International Publishing : Imprint: Springer.
Chicago Style CitationMargaria, Tiziana., 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. 1st ed. 2020. Cham: Springer International Publishing : Imprint: Springer, 2020.
MLA CitationMargaria, Tiziana., 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. 1st ed. 2020. Cham: Springer International Publishing : Imprint: Springer, 2020.