TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
Tilevich, Eli ; Roover, Coen De (eds.) (2021):
Delta-based verification of software product families.
In: GPCE 2021: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp. 69-82,
ACM, 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Chicago, USA, 17.-18.10.2021, ISBN 978-1-4503-9112-2,
DOI: 10.1145/3486609.3487200,
[Conference or Workshop Item]

This list was generated on Tue Oct 4 03:08:05 2022 CEST.