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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
3 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Direction d'ouvrage, Proceedings, Dossier
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〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00908865
Contributeur : Sandrine Blazy <>
Soumis le : lundi 25 novembre 2013 - 14:09:12
Dernière modification le : mercredi 16 mai 2018 - 11:23:28

Identifiants

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〉

Partager

Métriques

Consultations de la notice

1150