Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings - International Symposium of Formal Methods Europe; Platzer, André; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo (Springer, 2025)