L'Assistant de Preuve Coq Table des matières
Domains
Programming Languages [cs.PL]| Origin | Files produced by the author(s) |
|---|
Loading...
Journal Articles
Techniques de l'Ingénieur
Year : 2017
Sandrine Blazy : Connect in order to contact the contributor
https://inria.hal.science/hal-01645486
Submitted on : Thursday, November 23, 2017-9:58:26 AM
Last modification on : Friday, May 17, 2024-4:10:09 PM
Dates and versions
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⟩
Collections
232
View
1726
Download