Delta-based verification of software product families
| Title | Delta-based verification of software product families |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2021 |
| Authors | Scaletta, M, Hähnle, R, Steinhöfel, D, Bubel, R |
| Conference Name | Proceedings of the 24th ACM SIGPLAN International Confernce on Generative Programming: Concepts and Experiences (GPCE) |
| Pagination | 69-82 |
| Publisher | ACM |
| DOI | 10.1145/3486609.3487200 |
Undefined