Complutense Group on Program Analyis and Transformation
COSTA
Universidad Rey Juan Carlos
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Rey Juan Carlos (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