Susan D. High

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High
ProofChecker: an accessible environment for automata theory correctness proofs. ITiCSE (2007)