PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
ENRIQUE
MARTÍN MARTÍN
Profesor titular de universidad
Publications by the researcher in collaboration with ENRIQUE MARTÍN MARTÍN (2)
2015
-
Resource analysis: From sequential to concurrent and distributed programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)