Formal methods: 25th international symposium, fm 2023, lübeck, germany, march 6–10, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031274800
Date de publication :
3 mars 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.