Publications in collaboration with researchers from 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)