CPP 2012: Second International Conference on Certified Programs and Proofs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2012

CPP 2012: Second International Conference on Certified Programs and Proofs

Abstract

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Dates and versions

hal-00776263 , version 1 (15-01-2013)

Identifiers

Cite

Hawblitzel Chris, Dale Miller. CPP 2012: Second International Conference on Certified Programs and Proofs. Springer, 7679, pp.1-305, 2012, lncs, ⟨10.1007/978-3-642-35308-6⟩. ⟨hal-00776263⟩
137 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More