SMT-based variability analyses in FeatureIDE

Publication
VaMoS ‘20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020

Related