Fonte D, Boas IV, Oliveira N, da Cruz DC, Gançarski AL, Henriques PR.? 2014.??Partial Correctness and Continuous Integration in Computer Supported Education. {CSEDU} 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 2, Barcelona, Spain, 1-3 April, 2014. 2:205?212.