TY  - BOOK
AU  - Dubois,Catherine
AU  - San Pietro,Pierluigi
ED  - Formal Methods Teaching Workshop and Tutorial
TI  - Formal methods teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783031275340
AV  - QA76.9.F67 F67 2023
U1  - 004.1/51 23/eng/20230228
PY  - 2023///
CY  - Cham
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Méthodes formelles (Informatique)
KW  - Congrès
KW  - fast
KW  - Mètodes formals (Informàtica)
KW  - thub
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
KW  - Llibres electrònics
KW  - Congressos
N1  - Includes bibliographical references and index; 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 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
UR  - https://link.springer.com/10.1007/978-3-031-27534-0
ER  -