A kconfig translation to logic with one-way validation system
- Fernandez-Amoros, D.
- Heradio, R.
- Mayr-Dorn, C.
- Egyed, A.
Aktak:
ACM International Conference Proceeding Series
ISBN: 9781450371384
Argitalpen urtea: 2019
Alea: A
Mota: Biltzar ekarpena