conf.researchr.org / Mattias Ulbrich
![Mattias Ulbrich](https://conf.researchr.org/getProfileImage/mattiasulbrich/93c421cd-7529-43d3-8968-366d6ba1753d/small.jpg?1711553163000)
Registered user since Fri 22 May 2015
Name:Mattias Ulbrich
Country:Germany
Affiliation:KIT
Personal website: http://formal.iti.kit.edu/~ulbrich/
Research interests:Program Verification, Relational Verification
Contributions