TY  - BOOK
AU  - Antonio Cerone, Markus Roggenbach.
TI  - Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
SN  - 9783030713744
PY  - 2021///
CY  - Cham
PB  - Springer
KW  - Education-Data processing. Machine theory. Computer science. Artificial intelligence. Computers and Education. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Artificial Intelligence
UR  - https://doi.org/10.1007/978-3-030-71374-4
ER  -