A kconfig translation to logic with one-way validation system
- Fernandez-Amoros, D.
- Heradio, R.
- Mayr-Dorn, C.
- Egyed, A.
Actes de conférence:
ACM International Conference Proceeding Series
ISBN: 9781450371384
Année de publication: 2019
Volumen: A
Type: Communication dans un congrès