Margaria, T. und Steffen, B. (Hrsg.) (2025) Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II [cd]. 1 st ed. 2025, Lecture Notes in Computer Science. 1 st ed. 2025. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-75107-3.

Margaria, Tiziana, und Bernhard Steffen, Hrsg. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. Cd. Lecture Notes in Computer Science. 1 st ed. 2025. Cham: Springer Nature Switzerland, [2025?], Cham: Springer Nature Switzerland, [2025?]. https://doi.org/10.1007/978-3-031-75107-3.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. (ca. 2025). [Cd]. In T. Margaria & B. Steffen (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2025). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-75107-3

Margaria, T., und B. Steffen, Herausgeber. „Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II“. Lecture Notes in Computer Science, 1 st ed. 2025, cd, Springer Nature Switzerland, 2025, https://doi.org/10.1007/978-3-031-75107-3.

MARGARIA, Tiziana und Bernhard STEFFEN (Hrsg.). 1 st ed. 2025. Cham: Springer Nature Switzerland. ISBN 9783031751073