Spara
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.
- Undertitel
- 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
- Redaktör
- Catherine Dubois, Pierluigi San Pietro
- Upplaga
- 1st ed. 2023
- ISBN
- 9783031275333
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2023-02-21
- Sidor
- 105
