A kconfig translation to logic with one-way validation system.

David Fernndez-Amors, Ruben Heradio, Christoph Mayr-Dorn, Alexander Egyed

Browse the full SPLC paper archive.