Tutorial: introduction to Coq
Résumé
Part 1 : introduction - Part 2 : verification of a compiler
Communication Dans Un Congrès
Année : 2011
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126146
Soumis le : vendredi 6 mars 2015-11:43:18
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01126146 , version 1
Citer
Catherine Dubois. Tutorial: introduction to Coq. TOOLS 2011, Jun 2011, Zurich, Switzerland. ⟨hal-01126146⟩
Collections
26
Consultations
0
Téléchargements