Automated Techniques for Provably Safe Mobile Code (2000)

by Christopher Colby , Karl Crary , Robert Harper , Peter Lee , Frank Pfenning
Venue:THEOR. COMPUT. SCI
Citations:5 - 0 self