ProofChecker.
Autor: | Stallmann, Matthias F., Balik, Suzanne P., Rodman, Robert D., Bahram, Sina, Grace, Michael C., High, Susan D. |
---|---|
Zdroj: | Proceedings of the 12th Annual SIGCSE Conference: Innovation & Technology in Computer Science Education; 6/25/2007, p48-52, 5p |
Databáze: | Complementary Index |
Externí odkaz: |