MODELS 2022 (series) / Ina Schaefer
![Ina Schaefer](https://conf.researchr.org/getProfileImage/inaschaefer/f89104f9-827d-4b4d-af7d-206581875b43/small.jpg?1711458305000)
Registered user since Thu 9 Jul 2015
Name:Ina Schaefer
Country:Germany
Affiliation:Karlsruhe Institute of Technology (KIT)
Personal website: https://tva.kastel.kit.edu
Research interests:Formal Methods, Software Product Line Engineering, Software Evolution
Contributions
MODELS 2022-profile
View general profile
View general profile