What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.

Peter Lee

Browse the full TACAS paper archive.