PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
University of New Mexico
Albuquerque, Estados UnidosPublicaciones en colaboración con investigadores/as de University of New Mexico (1)
2006
-
Reduced certificates for abstraction-carrying code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)