PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad


Technical University of Darmstadt
Darmstadt, AlemaniaPublications in collaboration with researchers from Technical University of Darmstadt (2)
2014
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Automatic inference of bounds on resource consumption
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)