ParentsSign in to add mentor
CollaboratorsSign in to add collaborator
BETA: Related publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
|Stallmann MF, Balik SP, Rodman RD, et al. (2007) ProofChecker: An accessible environment for automata theory correctness proofs Iticse 2007: 12th Annual Conference On Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science. 48-52|