Proof-Carrying Apps: Contract-Based Deployment-Time Verification.

Snke Holthusen, Michael Nieke, Thomas Thm, Ina Schaefer

Browse the full ISoLA paper archive.