Casey Denner

According to our database, Casey Denner authored at least 2 papers in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Teaching Them Early: Formal Methods in School.

Faron Moller, Liam O'Reilly, Stewart Powell, Casey Denner

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

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, Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019