Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer. SMT-based variability analyses in FeatureIDE. In Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake, editors, VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020. ACM, 2020. [doi]
@inproceedings{SpreySKNMTS20,
title = {SMT-based variability analyses in FeatureIDE},
author = {Joshua Sprey and Chico Sundermann and Sebastian Krieter and Michael Nieke and Jacopo Mauro and Thomas Thüm and Ina Schaefer},
year = {2020},
doi = {10.1145/3377024.3377036},
url = {https://doi.org/10.1145/3377024.3377036},
researchr = {https://researchr.org/publication/SpreySKNMTS20},
cites = {0},
citedby = {0},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
editor = {Maxime Cordy and Mathieu Acher and Danilo Beuche and Gunter Saake},
publisher = {ACM},
isbn = {978-1-4503-7501-6},
}