10.5281/zenodo.4950763
https://zenodo.org/records/4950763
oai:zenodo.org:4950763
Oh, Jeho
Jeho
Oh
University of Texas at Austin
Yıldıran, Necip Fazıl
Necip Fazıl
Yıldıran
University of Central Florida
Braha, Julian
Julian
Braha
University of Central Florida
Gazzillo, Paul
Paul
Gazzillo
0000-0003-1425-8873
University of Central Florida
Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"
Zenodo
2021
2021-06-15
10.1145/3468264.3468578
10.5281/zenodo.4950762
Creative Commons Attribution 4.0 International
Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"