Formal Autograding in a Classroom.

Dragana Milovancevic, Mario Bucev, Marcin Wojnarowski, Samuel Chassot, Viktor Kuncak

Browse the full ESOP paper archive.