![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
FMFun 2019: Bergen, Norway
- Antonio Cerone
, Markus Roggenbach
:
Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers. Communications in Computer and Information Science 1301, Springer 2021, ISBN 978-3-030-71373-7 - Antonio Cerone
, Markus Roggenbach
, James H. 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 -. 1-26 - Magne Haveraaen
:
Axiom Based Testing for Fun and Pedagogy. 27-57 - Peter Csaba Ölveczky:
Teaching Formal Methods for Fun Using Maude. 58-91 - Nikolay V. Shilov
, Evgeniy Muravev, Svetlana O. Shilova:
Fun with Formal Methods for Better Education. 92-105 - Antonio Cerone
, Karl Reiner Lermer:
Adapting to Different Types of Target Audience in Teaching Formal Methods. 106-123 - Sebastian Krings
, Philipp Körner
:
Prototyping Games Using Formal Methods. 124-142 - Bernd-Holger Schlingloff
:
Teaching Model Checking via Games and Puzzles. 143-158 - James H. Davenport
, Tom Crick
:
Cybersecurity Education and Formal Methods. 159-172 - Faron Moller
, Liam O'Reilly
, Stewart Powell
, Casey Denner
:
Teaching Them Early: Formal Methods in School. 173-190 - Antonio Cerone
:
From Stories to Concurrency: How Children Can Play with Formal Methods. 191-207 - Marie Farrell, Hao Wu
:
When the Student Becomes the Teacher. 208-217 - Rustam Zhumagambetov
:
Teaching Formal Methods in Academia: A Systematic Literature Review. 218-226
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.