Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings - International Conference on Certified Programs and Proofs. 2011 : Kenting, Taiwan); Shao, Zhong; Jouannaud, Jean-Pierre. (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Algebra -- Data processing; Artificial intelligence