Casey Denner

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper pdf

Faron Moller, Magne Haveraaen, Antonio Cerone, 2020, FMFun.

Teaching Them Early: Formal Methods in School

Faron Moller, Casey Denner, Liam O’Reilly, 2021 .