Xinyu Feng. Mechanized verification of preemptive OS kernels (invited talk). In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 2, ACM, 2017. [doi]
@inproceedings{Feng17,
title = {Mechanized verification of preemptive OS kernels (invited talk)},
author = {Xinyu Feng},
year = {2017},
doi = {10.1145/3018610.3023367},
url = {http://doi.acm.org/10.1145/3018610.3023367},
researchr = {https://researchr.org/publication/Feng17},
cites = {0},
citedby = {0},
pages = {2},
booktitle = {Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017},
editor = {Yves Bertot and Viktor Vafeiadis},
publisher = {ACM},
isbn = {978-1-4503-4705-1},
}