First Page | Document Content | |
---|---|---|
Date: 2018-06-07 17:42:59 | Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl*, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi BhorasAdd to Reading ListSource URL: ravi.bhoraskar.comDownload Document from Source WebsiteFile Size: 254,60 KBShare Document on Facebook |