Michael Hohmuth, Hendrik Tews, Shane G. Stephens. Applying source-code verification to a microkernel: the VFiasco project. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 165-169, ACM, 2002. [doi]
@inproceedings{HohmuthTS02,
title = {Applying source-code verification to a microkernel: the VFiasco project},
author = {Michael Hohmuth and Hendrik Tews and Shane G. Stephens},
year = {2002},
doi = {10.1145/1133373.1133405},
url = {http://doi.acm.org/10.1145/1133373.1133405},
tags = {source-to-source, peer-to-peer, open-source},
researchr = {https://researchr.org/publication/HohmuthTS02},
cites = {0},
citedby = {0},
pages = {165-169},
booktitle = {Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002},
editor = {Gilles Muller and Eric Jul},
publisher = {ACM},
}