BOOKS - Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germ...
US $8.82
308314
308314
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)
Author: Catherine Dubois
Year: February 21, 2023
Format: PDF
File size: PDF 13 MB
Language: English
Year: February 21, 2023
Format: PDF
File size: PDF 13 MB
Language: English
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, 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.