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
2024
POPL 2024-profile
View general profile
View general profile