Formal methods: 26th international symposium, fm 2024, milan, italy, september 9–13, 2024, proceedings, part ii
Éditeur :
Springer International Publishing AG
ISBN :
9783031711763
Date de publication :
13 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. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.