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 - 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 :
Ouvrage (y compris édition critique et traduction)
Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David. Springer, 7998, 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 : mardi 16 janvier 2018 - 15:54:15

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. Springer, 7998, pp.500, 2013, Lecture Notes in Computer Science, 〈10.1007/978-3-642-39634-2〉. 〈hal-00908865〉

Partager

Métriques

Consultations de la notice

840