|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonio Cerone, Markus Roggenbach (eds.) |
Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers  |
FMFun  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone |
From Stories to Concurrency: How Children Can Play with Formal Methods. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Zhumagambetov |
Teaching Formal Methods in Academia: A Systematic Literature Review. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Magne Haveraaen |
Axiom Based Testing for Fun and Pedagogy. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Karl Reiner Lermer |
Adapting to Different Types of Target Audience in Teaching Formal Methods. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Hao Wu 0017 |
When the Student Becomes the Teacher. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, Tom Crick |
Cybersecurity Education and Formal Methods. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd-Holger Schlingloff |
Teaching Model Checking via Games and Puzzles. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Teaching Formal Methods for Fun Using Maude. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Faron Moller, Liam O'Reilly, Stewart Powell, Casey Denner |
Teaching Them Early: Formal Methods in School. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 0002, Rustam Zhumagambetov |
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay V. Shilov 0002, Evgeniy Muravev, Svetlana O. Shilova |
Fun with Formal Methods for Better Education. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Philipp Körner |
Prototyping Games Using Formal Methods. |
FMFun |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license