Not registered as user yet

Name:Markus Roggenbach
Affiliation:Swansea University, Swansea, UK

Contributions

FTfJP 2017 Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track