Not registered as user yet

Name: Adam Krafczyk

Affiliation: University of Hildesheim

Contributions

GPCE 2015 Analysing the Kconfig Semantics and its Analysis Tools
Show activities from other conferences

SPLASH 2015-profile
View general profile