ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Publicacións nas que colabora con MIGUEL GÓMEZ-ZAMALLOA GIL (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)