A kconfig translation to logic with one-way validation system
- Fernandez-Amoros, D.
- Heradio, R.
- Mayr-Dorn, C.
- Egyed, A.
Konferenzberichte:
ACM International Conference Proceeding Series
ISBN: 9781450371384
Datum der Publikation: 2019
Ausgabe: A
Art: Konferenz-Beitrag