A Proof-Carrying Code Architecture for Java.

Christopher Colby Peter Lee George C. Necula A Proof-Carrying Code Architecture for Java. 557-560 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#ColbyLN00