ISoLA Rhodos & Margaria, T. (2022). Leveraging applications of formal methods, verification and validation: 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)ISoLA Rhodos und Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation: 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : Proceedings. Cham: Springer, 2022.
MLA-Zitierstil (9. Ausg.)ISoLA Rhodos und Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation: 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : Proceedings. Springer, 2022.