Proof-Carrying Code (1997)

by G Necula
Venue:In Proceedings of POPL ’97