ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Ina Schaefer

Registered user since Thu 9 Jul 2015

Name:Ina Schaefer
Country:Germany
Affiliation:Technische Universität Braunschweig
Research interests:Formal Methods, Software Product Line Engineering, Software Evolution

Contributions

ETAPS 2019 Tool Support for Correctness-by-Construction
FASE 2019 Tool Support for Correctness-by-Construction
Committee Member in Program Committee within the FASE 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile