Spar
Formal Methods Teaching
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.
The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.
- Undertittel
- 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
- Redaktør
- Catherine Dubois, Pierluigi San Pietro
- Opplag
- 1st ed. 2023
- ISBN
- 9783031275333
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.2.2023
- Antall sider
- 105
