DMCA

Generation of Reduced Certificates in Abstraction-Carrying Code (2006)

by Elvira Albert , Puri Arenas , German Puebla , Manuel Hermenegildo
Venue:PROLE 2006