ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mattias Ulbrich

Registered user since Fri 22 May 2015

Name: Mattias Ulbrich

Affiliation: Karlsruhe Institute of Technology

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

Contributions

FTfJP 2015 Regression Verification for Java Using a Secure Information Flow Calculus
Show activities from other conferences

ECOOP 2015-profile
View general profile