Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
eds.: Tilevich, Eli ; Roover, Coen De (2021)
Delta-based verification of software product families.
20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Chicago, USA (17.10.2021-18.10.2021)
doi: 10.1145/3486609.3487200
Conference or Workshop Item, Bibliographie