Skip to Main content Skip to Navigation
Directions of work or proceedings

CPP '15: Proceedings of the 2015 Conference on Certified Programs and Proofs

Abstract : he CPP series of meetings aims to cover those topics in computer science and mathematics in which certification via formal techniques is crucial. Topics of interest range from interactive and automated theorem proving to program proof to the mechanization of mathematics, with the production of independently-checkable certificates as a recurring theme
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01101937
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, January 10, 2015 - 5:12:56 PM
Last modification on : Saturday, November 21, 2020 - 7:58:02 PM

Identifiers

  • HAL Id : hal-01101937, version 1

Collections

`

Citation

Xavier Leroy, Alwen Tiu. CPP '15: Proceedings of the 2015 Conference on Certified Programs and Proofs. Conference on Certified Programs and Proofs, Jan 2015, Mumbai, India. ACM, pp.184, 2015, 978-1-4503-3296-5. ⟨hal-01101937⟩

Share

Metrics

Record views

152