Tutorial: introduction to Coq - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Tutorial: introduction to Coq

Résumé

Part 1 : introduction - Part 2 : verification of a compiler
Fichier non déposé

Dates et versions

hal-01126146 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126146 , version 1

Citer

Catherine Dubois. Tutorial: introduction to Coq. TOOLS 2011, Jun 2011, Zurich, Switzerland. ⟨hal-01126146⟩
26 Consultations
0 Téléchargements

Partager

More