Not registered as user yet

Name:Dominic Steinhöfel
Affiliation:CISPA Helmholtz Center for Information Security

Contributions

GPCE 2021 Author of Delta-based Verification of Software Product Families within the GPCE-track