Mattias Ulbrich - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

HCVS

Session Chair of II (part of HCVS)

PERR

Show activities from other conferences

ETAPS 2019-profile
View general profile