ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thomas Thüm

Registered user since Thu 12 Mar 2015

Name:Thomas Thüm
Bio:

Professor for Construction and Analysis of Secure Software at the University of Ulm

Country:Germany
Affiliation:University of Ulm

Contributions

FASE 2019 Tool Support for Correctness-by-Construction
ETAPS 2019 Tool Support for Correctness-by-Construction
Show activities from other conferences

ETAPS 2019-profile
View general profile