Ina Schaefer - ETAPS 2019

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