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

Personal website: https://www.tu-braunschweig.de/isf/team/schaefer

Research interests: Formal Methods, Software Product Line Engineering, Software Evolution

Contributions

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

ETAPS 2019-profile
View general profile