Author: "Holthusen, Sönke" / Publication Type: Books - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Holthusen, Sönke"' showing total 2 results

Start Over Author "Holthusen, Sönke" Publication Type Books

2 results on '"Holthusen, Sönke"'

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

Author: Holthusen, Sönke, primary, Nieke, Michael, additional, Thüm, Thomas, additional, and Schaefer, Ina, additional
Published: 2016
Full Text: View/download PDF

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

Author: Holthusen, Sönke, Nieke, Michael, Thüm, Thomas, and Schaefer, Ina
Published: 2016
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results