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 metadatas

https://hal.inria.fr/hal-01101937
Contributor : Xavier Leroy <>
Submitted on : Saturday, January 10, 2015 - 5:12:56 PM
Last modification on : Wednesday, September 4, 2019 - 11:26:02 AM

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

132