TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-27534-0
DO  - doi
AB  - 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.
T1  - Formal methods teaching :5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
AU  - Dubois, Catherine,
AU  - San Pietro, Pierluigi,
VL  - 13962
CN  - QA76.9.F67
ID  - 1454895
KW  - Formal methods (Computer science)
SN  - 9783031275340
SN  - 3031275349
TI  - Formal methods teaching :5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-27534-0
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-27534-0
ER  -