|
 
|
[DJP05] Coq: un outil pour l'enseignement
Revue Nationale avec comité de lecture : Journal TSI, Technique et Science Informatiques, vol. 24(9), pp. 1139-1160, 2005
motcle:
BibTeX
| @article { | |||
| DJP05, | |||
| title | = | "{Coq: un outil pour l'enseignement}", | |
| author | = | "D. Delahaye and M. Jaume and V. Prevosto", | |
| journal | = | "TSI, Technique et Science Informatiques", | |
| year | = | 2005, | |
| volume | = | 24, | |
| number | = | 9, | |
| pages | = | "1139-1160", | |
| } | |||
