A kconfig translation to logic with one-way validation system
- Fernandez-Amoros, D.
- Heradio, R.
- Mayr-Dorn, C.
- Egyed, A.
Proceedings:
ACM International Conference Proceeding Series
ISBN: 9781450371384
Year of publication: 2019
Volume: A
Type: Conference paper