TY  - BOOK
AU  - Dubois,Catherine
AU  - San Pietro,Pierluigi
TI  - Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031275340
U1  - 511.3 23
PY  - 2023///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Mathematical logic
KW  - Logic programming
KW  - Natural language processing (Computer science)
KW  - Social sciences
KW  - Data processing
KW  - Software engineering
KW  - Microprogramming 
KW  - Mathematical Logic and Foundations
KW  - Logic in AI
KW  - Natural Language Processing (NLP)
KW  - Computer Application in Social and Behavioral Sciences
KW  - Software Engineering
KW  - Control Structures and Microprogramming
N1  - Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-27534-0
ER  -