Delta-based verification of software product families

  • Veröffentlicht am: 29 März, 2022 - 10:19
TitelDelta-based verification of software product families
Publication TypeKonferenzartikel (erschienen)
Year of Publication2021
AuthorsScaletta, M, Hähnle, R, Steinhöfel, D, Bubel, R
Conference NameProceedings of the 24th ACM SIGPLAN International Confernce on Generative Programming: Concepts and Experiences (GPCE)
Pagination69-82
PublisherACM
DOI10.1145/3486609.3487200
Undefined