Accéder directement au contenu

David Delahaye

1
Documents
Identifiants chercheurs

Présentation

Publications

901267

Coq : un outil pour l'enseignement

David Delahaye , Mathieu Jaume , Virgile Prévosto
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2005, 24 (9), pp.1139-1160. ⟨10.3166/tsi.24.1139-1160⟩
Article dans une revue hal-01195849v1