- 2
David Delahaye
2
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 2
- 2
Coq: un outil pour l'enseignementRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2005, 24, pp.1139-1160
Article dans une revue
hal-01125076v1
|
|
Coq : un outil pour l'enseignementRevue 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
|