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]
Abstract is missing.