Faron Moller, Liam O'Reilly, Stewart Powell, Casey Denner. Teaching Them Early: Formal Methods in School. In Antonio Cerone, Markus Roggenbach, editors, Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers. Volume 1301 of Communications in Computer and Information Science, pages 173-190, Springer, 2019. [doi]
Abstract is missing.