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

MLA

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

APA

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

Chicago

André 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 I. : Springer Nature, 2024.