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

Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Sandrine Blazy 1 Christine Paulin-Mohring 2, 3 David Pichardie 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-00908865
Contributor : Sandrine Blazy <>
Submitted on : Monday, November 25, 2013 - 2:09:12 PM
Last modification on : Thursday, June 17, 2021 - 3:46:21 AM

Links full text

Identifiers

Citation

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David. Rennes, France. 7998, Springer, pp.500, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-39634-2⟩. ⟨hal-00908865⟩

Share

Metrics

Record views

1480