Publikation - Einzelansicht
Details zur Publikation
Autorinnen und Autoren | Christian Kröher, Moritz Flöter, Lea Kristin Gerling und Klaus Schmid |
Titel | Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code |
Publikationsart | Konferenz |
Herausgebende Einrichtung / Verlag | ACM |
Titel des Buches | 26th ACM International Systems and Software Product Line Conference |
Band | A |
Jahr | 2022 |
Seiten | 1 |
Digitale Objekt-ID (DOI) | DOI: 10.1145/3546932.3547013 |
Dateien / Dokumente | KroeherFloeterGerling+22 |