HILT'22 - Supporting a Rigorous Approach to Software Development (series) / Ina Schaefer

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
HILT'22 - Supporting a Rigorous Approach to Software Development | Committee Member in Program Committee within the HILT 2022-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile