Antonio Cerone, Markus Roggenbach. <br/><br/>
Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030713744 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.