BTJ

Serie:
Undertitel:	26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II Lecture Notes in Computer Science
Redaktör:	Platzer, Andre , Rozier, Kristin Yvonne , Pradella, Matteo , Rossi, Matteo
Upplaga:	2025 ed.
Vikt:	1.006 kg
Höjd:	155 mm
Bredd:	235 mm
Djup:	41 mm
Omfång:	652 s.
Övrig information:	Switzerland, Springer International Publishing AG

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.