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