ISR
ISR Bibliography
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is D and Author is Daniel Jackson [Clear All Filters]
"Detection of Design Flaws in Android Permission Protocol through Bounded Verification",
20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, pp. 73-89, June, 2015.