SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Mattias Ulbrich

Registered user since Fri 22 May 2015

Name:Mattias Ulbrich
Country:Germany
Affiliation:Karlsruhe Institute of Technology
Research interests:Program Verification, Relational Verification

Contributions

SPLASH 2021 Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Show activities from other conferences

Using general profile