Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

MLA

Andre Platzer, et al. Formal Methods: 26th International Symposium, Fm 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part Ii. Springer Nature, 2025.

APA

Andre Platzer, A. Platzer, Kristin Yvonne Rozier, K. Yvonne Rozier, Matteo Pradella, M. Pradella, Matteo Rossi, M. Rossi, Pradella, M., Rossi, M., & Rozier, K. Yvonne. (2025). Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II. Springer Nature.

Chicago

Andre Platzer, Kristin Yvonne Rozier, Kristin Yvonne Rozier, Matteo Pradella, Matteo Pradella, Matteo Rossi, Matteo Rossi, Matteo Pradella, Matteo Rossi, and Kristin Yvonne Rozier. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II. : Springer Nature, 2025.