Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I - André Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne (Springer Nature, 2024)