Number of items: 1.
Conference or Workshop Item (A Paper)
Scaletta, Marco and Hähnle, Reiner and Steinhöfel, Dominic and Bubel, Richard
(2021)
Delta-based Verification of Software Product Families.
This list was generated on Thu Feb 5 04:45:05 2026 CET.