APA Style

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

MLA Style

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