SPLASH 2022 (series) / Ina Schaefer
![Ina Schaefer](https://2022.splashcon.org/getProfileImage/inaschaefer/25b91f36-1c00-4100-bc74-a439f0de54b8/small.jpg?1711458305000)
Registered user since Thu 9 Jul 2015
Name:Ina Schaefer
Country:Germany
Affiliation:KIT
Personal website: https://tva.kastel.kit.edu
Research interests:Formal Methods, Software Product Line Engineering, Software Evolution
Contributions
SPLASH 2022-profile
View general profile
View general profile