Travelled to:
1 × USA
Collaborated with:
S.El-Sharkawy K.Schmid
Talks about:
kconfig (1) analysi (1) semant (1) analys (1) tool (1)
Person: Adam Krafczyk
DBLP: Krafczyk:Adam
Contributed to:
Wrote 1 papers:
- GPCE-2015-El-SharkawyKS #analysis #semantics #tool support
- Analysing the Kconfig semantics and its analysis tools (SES, AK, KS), pp. 45–54.