Formal methods teaching: 7th formal methods teaching workshop, fmtea 2026, tokyo, japan, may 19, 2026, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032267429
Date de publication :
19 mai 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026. The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions.