Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings - Hawblitzel, Chris; Miller, Dale (Springer Berlin Heidelberg : Imprint: Springer, 2012)