Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

First Page		Document Content
Date: 2016-08-15 09:53:47		Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s Add to Reading List Source URL: www.isf.cs.tu-bs.de Download Document from Source Website File Size: 448,17 KB Share Document on Facebook