Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings - Jouannaud, Jean-Pierre; Shao, Zhong (Springer Berlin Heidelberg : Imprint: Springer, 2011)