Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - 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 002; et al. (FMFun, 2019)

Teaching Them Early: Formal Methods in School. - Faron Moller; Liam O'Reilly; Stewart Powell; Casey Denner (FMFun, 2019)