APA (7th ed.) Citation

ISoLA Online & Margaria, T. (2020). Leveraging applications of formal methods, verification and validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Springer.

Chicago Style (17th ed.) Citation

ISoLA Online and Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : Proceedings. Cham: Springer, 2020.

MLA (9th ed.) Citation

ISoLA Online and Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : Proceedings. Springer, 2020.