Abstract is missing.
- Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov 0002, Rustam Zhumagambetov. 1-26 [doi]
- Axiom Based Testing for Fun and PedagogyMagne Haveraaen. 27-57 [doi]
- Teaching Formal Methods for Fun Using MaudePeter Csaba Ölveczky. 58-91 [doi]
- Fun with Formal Methods for Better EducationNikolay V. Shilov 0002, Evgeniy Muravev, Svetlana O. Shilova. 92-105 [doi]
- Adapting to Different Types of Target Audience in Teaching Formal MethodsAntonio Cerone, Karl Reiner Lermer. 106-123 [doi]
- Prototyping Games Using Formal MethodsSebastian Krings, Philipp Körner. 124-142 [doi]
- Teaching Model Checking via Games and PuzzlesBernd-Holger Schlingloff. 143-158 [doi]
- Cybersecurity Education and Formal MethodsJames H. Davenport, Tom Crick. 159-172 [doi]
- Teaching Them Early: Formal Methods in SchoolFaron Moller, Liam O'Reilly, Stewart Powell, Casey Denner. 173-190 [doi]
- From Stories to Concurrency: How Children Can Play with Formal MethodsAntonio Cerone. 191-207 [doi]
- When the Student Becomes the TeacherMarie Farrell, Hao Wu 0017. 208-217 [doi]
- Teaching Formal Methods in Academia: A Systematic Literature ReviewRustam Zhumagambetov. 218-226 [doi]