Login / Signup
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
Published in:
ITiCSE (2007)
Keyphrases
</>
automata theory
computer science
machine learning
learning algorithm
software engineering
optimization problems
online learning
learning processes
graph theory
learning community