Mattias Ulbrich - SPLASH 2021

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

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

2021

SPLASH

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

SPLASH 2021-profile
View general profile