*Result*: Formal Methods
*Title*:
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
*Author/editor-in-chief*:
*Publication*:
Cham : Springer Nature ; Springer Nature Switzerland [Imprint], 2024
*Distribution*:
The Hague : Oapen Foundation
*Physical description scale*:
1 Online-Ressource (652 p.)
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science ; 14934
*ISBN*:
9783031711763 ; 9783031711770