%0 Conference Paper %1 conf/pldi/ChenWSLG16 %A Chen, Hao %A Wu, Xiongnan (Newman) %A Shao, Zhong %A Lockerman, Joshua %A Gu, Ronghui %B PLDI %D 2016 %E Krintz, Chandra %E Berger, Emery D. %I ACM %K dblp %P 431-447 %T Toward compositional verification of interruptible OS kernels and device drivers. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#ChenWSLG16 %@ 978-1-4503-4261-2

@inproceedings{conf/pldi/ChenWSLG16, added-at = {2021-10-14T00:00:00.000+0200}, author = {Chen, Hao and Wu, Xiongnan (Newman) and Shao, Zhong and Lockerman, Joshua and Gu, Ronghui}, biburl = {https://www.bibsonomy.org/bibtex/2fa2e32b502edfe6ae9a07d6087ca41e4/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2016}, editor = {Krintz, Chandra and Berger, Emery D.}, ee = {https://doi.org/10.1145/2980983.2908101}, interhash = {9e5eabd5efeacf2e8d44b17885612c1f}, intrahash = {fa2e32b502edfe6ae9a07d6087ca41e4}, isbn = {978-1-4503-4261-2}, keywords = {dblp}, pages = {431-447}, publisher = {ACM}, timestamp = {2024-04-09T19:00:33.000+0200}, title = {Toward compositional verification of interruptible OS kernels and device drivers.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2016.html#ChenWSLG16}, year = 2016 }