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]
@inproceedings{MollerOPD19,
title = {Teaching Them Early: Formal Methods in School},
author = {Faron Moller and Liam O'Reilly and Stewart Powell and Casey Denner},
year = {2019},
doi = {10.1007/978-3-030-71374-4_9},
url = {https://doi.org/10.1007/978-3-030-71374-4_9},
researchr = {https://researchr.org/publication/MollerOPD19},
cites = {0},
citedby = {0},
pages = {173-190},
booktitle = {Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
editor = {Antonio Cerone and Markus Roggenbach},
volume = {1301},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-71374-4},
}