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 Fri Apr 18 07:23:09 2025 CEST.