L'Assistant de Preuve Coq Table des matières

Article Dans Une Revue Techniques de l'Ingénieur Année : 2017

(1) , (2) , (3)

1
2
3

Sandrine Blazy

Université de Rennes

Pierre Castéran

Hugo Herbelin

Langage de programmation [cs.PL]

Fichier principal

article.pdf (403.45 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-01645486

Soumis le : jeudi 23 novembre 2017-09:58:26

Dernière modification le : dimanche 4 février 2024-03:29:10

hal-01645486 , version 1 (23-11-2017)

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

UNIV-PARIS7 UNIV-RENNES1 CNRS INRIA IRISA INRIA2 USPC UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UP-SCIENCES UR1-MATH-NUM IRIF

223 Consultations

1697 Téléchargements