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 Sat Apr 19 01:32:21 2025 CEST.