POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
POPL 2024 (series) / Ina Schaefer
Ina Schaefer

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

Show activities from other conferences

POPL 2024-profile
View general profile