ProofChecker
- 25 June 2007
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 39 (3), 48-52
- https://doi.org/10.1145/1269900.1268801
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- jFASTACM SIGCSE Bulletin, 2006
- Turning automata theory into a hands-on coursePublished by Association for Computing Machinery (ACM) ,2006
- Accessibility in introductory computer sciencePublished by Association for Computing Machinery (ACM) ,2005