Formal methods: 26th international symposium, fm 2024, milan, italy, september 9–13, 2024, proceedings, part i
Éditeur :
Springer International Publishing AG
ISBN :
9783031711619
Date de publication :
11 sept. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.