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 Sun Dec 22 04:03:34 2024 CET.