
Registered user since Wed 5 Oct 2022
Name:Dominic Steinhöfel
Affiliation:CISPA Helmholtz Center for Information Security
Contributions
GPCE 2021 | Delta-based Verification of Software Product Families | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile