Formal methods teaching: 5th international workshop, fmtea 2023, lübeck, germany, march 6, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031275333
Date de publication :
21 févr. 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.