Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger. Model-Driven Construction of Certified Binaries. In Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil, editors, Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings. Volume 4735 of Lecture Notes in Computer Science, pages 666-681, Springer, 2007. [doi]
@inproceedings{ChakiILWZ07,
title = {Model-Driven Construction of Certified Binaries},
author = {Sagar Chaki and James Ivers and Peter Lee and Kurt C. Wallnau and Noam Zeilberger},
year = {2007},
doi = {10.1007/978-3-540-75209-7_45},
url = {http://dx.doi.org/10.1007/978-3-540-75209-7_45},
tags = {C++},
researchr = {https://researchr.org/publication/ChakiILWZ07},
cites = {0},
citedby = {0},
pages = {666-681},
booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings},
editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil},
volume = {4735},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75208-0},
}