Europe, I. S. o. F. M., Platzer, A., Rozier, K. Y., Pradella, M., & Rossi, M. (2025). Formal methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings. Springer.
Citácia podle Chicago (17th ed.)Europe, International Symposium of Formal Methods, André Platzer, Kristin Yvonne Rozier, Matteo Pradella, a Matteo Rossi. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : Proceedings. Cham: Springer, 2025.
Citácia podľa MLA (8th ed.)Europe, International Symposium of Formal Methods, et al. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : Proceedings. Springer, 2025.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..