Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter

First Page		Document Content
Date: 2015-10-30 07:54:22		Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis Walter Add to Reading List Source URL: www.philipp.ruemmer.org Download Document from Source Website File Size: 437,78 KB Share Document on Facebook