Mattias Ulbrich - ECOOP 2019

Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom

Registered user since Fri 22 May 2015

Name:Mattias Ulbrich

Country:Germany

Affiliation:Karlsruhe Institute of Technology

Personal website: http://formal.iti.kit.edu/~ulbrich/

Research interests:Program Verification, Relational Verification

Contributions

2019

VORTEX

Committee Member in Program Committee within the VORTEX 2019-track

Show activities from other conferences

ECOOP 2019-profile
View general profile