PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
University of New Mexico
Albuquerque, Estados UnidosPublikationen in Zusammenarbeit mit Forschern von 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)