APA (7th ed.) Citation

(2025). Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. [electronic resource].

Chicago Style (17th ed.) Citation

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II / Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. [electronic Resource]. 2025.

MLA (9th ed.) Citation

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II / Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. [electronic Resource]. 2025.