"Collaborative Verification of Information Flow for a High-Assurance App Store."

René Just, Michael D. Ernst, Suzanne Millstein (2015)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2015-05-04