Model-Driven Construction of Certified Binaries.

Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

Browse the full MODELS paper archive.