%0 Journal Article %1 journals/cacm/GuSCKKWSC19 %A Gu, Ronghui %A Shao, Zhong %A Chen, Hao %A Kim, Jieung %A Koenig, Jérémie %A Wu, Xiongnan (Newman) %A Sjöberg, Vilhelm %A Costanzo, David %D 2019 %J Commun. ACM %K dblp %N 10 %P 89-99 %T Building certified concurrent OS kernels. %U http://dblp.uni-trier.de/db/journals/cacm/cacm62.html#GuSCKKWSC19 %V 62

@article{journals/cacm/GuSCKKWSC19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Gu, Ronghui and Shao, Zhong and Chen, Hao and Kim, Jieung and Koenig, Jérémie and Wu, Xiongnan (Newman) and Sjöberg, Vilhelm and Costanzo, David}, biburl = {https://www.bibsonomy.org/bibtex/2bc7aba767af66558fc7d6f253b30f681/dblp}, ee = {https://doi.org/10.1145/3356903}, interhash = {ce730db35b3e5bb0fb21684d0bf522ac}, intrahash = {bc7aba767af66558fc7d6f253b30f681}, journal = {Commun. ACM}, keywords = {dblp}, number = 10, pages = {89-99}, timestamp = {2024-04-09T02:13:15.000+0200}, title = {Building certified concurrent OS kernels.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm62.html#GuSCKKWSC19}, volume = 62, year = 2019 }