Publicaciones en colaboración con investigadores/as de University of New Mexico (1)

2006

  1. Reduced certificates for abstraction-carrying code

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)