Complutense Group on Program Analyis and Transformation
COSTA
Universidad Rey Juan Carlos
Madrid, EspañaUniversidad Rey Juan Carlos-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
2018
-
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
FLOP: A user-friendly system for automated program assessment
Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326