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 Mon Sep 16 20:16:12 2024 CEST.