Markus Roggenbach -

Not registered as user yet

Name:Markus Roggenbach

Affiliation:Swansea University, Swansea, UK

Contributions

FTSCS 2022	Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
FTfJP 2017	Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track