A kconfig translation to logic with one-way validation system
- Fernandez-Amoros, D.
- Heradio, R.
- Mayr-Dorn, C.
- Egyed, A.
Actes:
ACM International Conference Proceeding Series
ISBN: 9781450371384
Any de publicació: 2019
Volum: A
Tipus: Aportació congrés