ISoLA Rhodos, Margaria, T., & Steffen, B. (2022). Leveraging applications of formal methods, verification and validation: Adaptation and learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part III (1st ed. 2022.). Springer. https://doi.org/10.1007/978-3-031-19759-8
Chicago-Zitierstil (17. Ausg.)ISoLA Rhodos, Tiziana Margaria, und Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : Proceedings, Part III. 1st ed. 2022. Cham, Switzerland: Springer, 2022. https://doi.org/10.1007/978-3-031-19759-8.
MLA-Zitierstil (9. Ausg.)ISoLA Rhodos, et al. Leveraging Applications of Formal Methods, Verification and Validation: Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : Proceedings, Part III. 1st ed. 2022. Springer, 2022. https://doi.org/10.1007/978-3-031-19759-8.