Coq: un outil pour l'enseignement - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2005

Coq: un outil pour l'enseignement

Mathieu Jaume
  • Fonction : Auteur
Virgile Prévosto
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125076 , version 1

Citer

David Delahaye, Mathieu Jaume, Virgile Prévosto. Coq: un outil pour l'enseignement. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2005, 24, pp.1139-1160. ⟨hal-01125076⟩

Collections

CNAM CEDRIC-CNAM
23 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More