Proof-carrying code (1997)

by G Necula
Venue:In POPL