A kconfig translation to logic with one-way validation system. Fernández-Amorós, D.; Heradio, R.; Mayr-Dorn, C.; and Egyed, A. In Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019, pages 41:1–41:6, 2019.
Paper doi bibtex @inproceedings{DBLP:conf/splc/Fernandez-Amoros19,
author = {David Fern{\'{a}}ndez{-}Amor{\'{o}}s and
Ruben Heradio and
Christoph Mayr{-}Dorn and
Alexander Egyed},
title = {A kconfig translation to logic with one-way validation system},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
pages = {41:1--41:6},
year = {2019},
crossref = {DBLP:conf/splc/2019a},
url = {https://doi.org/10.1145/3336294.3336313},
doi = {10.1145/3336294.3336313},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/Fernandez-Amoros19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}