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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 14934Publisher: Cham : Springer Nature Switzerland, 2025Publisher: Cham : Imprint: Springer, 2025Edition: 1st ed. 2025Description: 1 Online-Ressource(XXII, 652 p. 193 illus., 170 illus. in color.)ISBN:- 9783031711770
- 005.1 23
No physical items for this record
Open Access