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

GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
HILT 2018 Panel on Language-based Security
Tool support for Confidentiality by Construction
Show activities from other conferences

SPLASH 2018-profile
View general profile