Nathaniel Mote

According to our database, Nathaniel Mote authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Verification games: making verification fun.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012