L'Assistant de Preuve Coq Table des matières - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Techniques de l'Ingénieur Year : 2017

L'Assistant de Preuve Coq Table des matières

Fichier principal
Vignette du fichier
article.pdf (403.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01645486 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More