Catherine Dubois, "Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings "
English | ISBN: 3031275330 | 2023 | 114 pages | PDF | 6 MB
English | ISBN: 3031275330 | 2023 | 114 pages | PDF | 6 MB
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. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.