ISoLA Rhodos, Margaria, T., & Steffen, B. (2023). Leveraging applications of formal methods, verification and validation: Software engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part II (Corrected publication.). Springer. https://doi.org/10.1007/978-3-031-19756-7
Chicago-Zitierstil (17. Ausg.)ISoLA Rhodos, Tiziana Margaria, und Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : Proceedings, Part II. Corrected publication. Cham, Switzerland: Springer, 2023. https://doi.org/10.1007/978-3-031-19756-7.
MLA-Zitierstil (9. Ausg.)ISoLA Rhodos, et al. Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : Proceedings, Part II. Corrected publication. Springer, 2023. https://doi.org/10.1007/978-3-031-19756-7.