DMCA

Reduced Certificates for Abstraction-Carrying Code (2005)

by Elvira Albert , Puri Arenas , Germán Puebla , Manuel Hermenegildo
Venue:In Proc. of ICLP 2006
Citations:5 - 3 self