Tallenna
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.
- Alaotsikko
- 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
- Toimittaja
- Catherine Dubois, Pierluigi San Pietro
- Painos
- 1st ed. 2023
- ISBN
- 9783031275333
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.2.2023
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 105
