Susan D. High

According to our database, Susan D. High authored at least 1 paper in 2007.

Collaborative distances:

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

2007

ProofChecker: an accessible environment for automata theory correctness proofs.

Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007