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

Browse the full ITiCSE paper archive.