conf.researchr.org / Matthias Kettl
![Matthias Kettl](https://conf.researchr.org/getProfileImage/matthiaskettl/8da3f0be-d008-41d4-9618-c847bd560a50/small.jpg?1715762618000)
Registered user since Tue 12 Sep 2023
Name:Matthias Kettl
Country:Germany
Affiliation:LMU Munich, Germany
Personal website: https://www.sosy-lab.org/people/kettl/
GitHub: https://github.com/matthiaskettl
Research interests:Formal Verification
Contributions