APA Style

Platzer, A. et al (2025). Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

Platzer, André. et al. "Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II". 1 Zurich, Switzerland: Springer International Publishing, 2025. Text.