Partial Correctness and Continuous Integration in Computer Supported Education.

Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Ganarski, Pedro Rangel Henriques

Browse the full CSEDU paper archive.