PLATZER, Andre, ROZIER, Kristin Yvonne, PRADELLA, Matteo und ROSSI, Matteo (Hrsg.). 1 st ed. 2025. Cham: Springer Nature Switzerland. ISBN 9783031711770.
Elsevier - Harvard (with titles)Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (Hrsg.), 2025. Formal Methods : 26 th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II, 1 st ed. 2025. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. https://doi.org/10.1007/978-3-031-71177-0
American Psychological Association 7th editionFormal Methods : 26 th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II. (ca. 2025). [Cd]. In A. Platzer, K. Y. Rozier, M. Pradella, & M. Rossi (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2025). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-71177-0
Springer - Basic (author-date)Platzer A, Rozier KY, Pradella M, Rossi M (Hrsg.) (2025) Formal Methods : 26 th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II, 1 st ed. 2025. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Platzer, Andre/ Rozier, Kristin Yvonne/ Pradella, Matteo/ Rossi, Matteo (Hrsg.), Formal Methods : 26 th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II, 1 st ed. 2025 , Cham 2025.