L'Assistant de Preuve Coq Table des matières

Sandrine Blazy 1 Pierre Castéran 2 Hugo Herbelin 3
3 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Type de document :
Article dans une revue
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01645486
Contributeur : Sandrine Blazy <>
Soumis le : jeudi 23 novembre 2017 - 09:58:26
Dernière modification le : jeudi 11 janvier 2018 - 06:28:03

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01645486, version 1

Collections

Citation

Sandrine Blazy, Pierre Castéran, Hugo Herbelin. L'Assistant de Preuve Coq Table des matières. Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017. 〈hal-01645486〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

50