Formal methods: foundations and applications: 27th brazilian symposium, sbmf 2024, vitória, brazil, december 4–6, 2024, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031781155
Date de publication :
29 nov. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions.