SMT-based variability analyses in FeatureIDE

Joshua Sprey, Chico Sunderman, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thum, Ina Schaefer

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'SMT-based variability analyses in FeatureIDE'. Together they form a unique fingerprint.

Computer Science