Platzer, A., Rozier, K. Y., Pradella, M., & Rossi, M. (2025). Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (1.). Springer Nature. https://doi.org/10.1007/978-3-031-71177-0
Citace podle Chicago (17th ed.)Platzer, Andre, Kristin Yvonne Rozier, Matteo Pradella, a Matteo Rossi. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II. 1. Cham: Springer Nature, 2025. https://doi.org/10.1007/978-3-031-71177-0.
Citace podle MLA (9th ed.)Platzer, Andre, et al. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II. 1. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-71177-0.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..