FMFun

Publications

volume 1301, 2021

Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers FMFun 1301 (2021)

2019

Antonio Cerone
From Stories to Concurrency: How Children Can Play with Formal Methods. FMFun (2019)
Rustam Zhumagambetov
Teaching Formal Methods in Academia: A Systematic Literature Review. FMFun (2019)
Magne Haveraaen
Axiom Based Testing for Fun and Pedagogy. FMFun (2019)
Antonio Cerone, Karl Reiner Lermer
Adapting to Different Types of Target Audience in Teaching Formal Methods. FMFun (2019)
Marie Farrell, Hao Wu
When the Student Becomes the Teacher. FMFun (2019)
James H. Davenport, Tom Crick
Cybersecurity Education and Formal Methods. FMFun (2019)
Bernd-Holger Schlingloff
Teaching Model Checking via Games and Puzzles. FMFun (2019)
Peter Csaba Ölveczky
Teaching Formal Methods for Fun Using Maude. FMFun (2019)
Faron Moller, Liam O'Reilly, Stewart Powell, Casey Denner
Teaching Them Early: Formal Methods in School. FMFun (2019)
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, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Nikolay V. Shilov, Evgeniy Muravev, Svetlana O. Shilova
Fun with Formal Methods for Better Education. FMFun (2019)
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods. FMFun (2019)