Certified Programs and Proofs
CPP 2012: Kyoto, Japan
Chris Hawblitzel, Dale Miller (Eds.): Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7679 ISBN 978-3-642-35307-9 [ contents ]
CPP 2011: Kenting, Taiwan
- Jean-Pierre Jouannaud, Zhong Shao (Eds.): Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 7086 ISBN 978-3-642-25378-2 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team