|
 
|
[DUB00] Un parcours de la programmation à la preuve
Mémoire de HDR : Soutenue le: 01 January 2000, : Un parcours de la programmation à la preuve,
motcle:
Commentaires:
Habilitation à diriger des recherches, Université d'Evry
BibTeX
| @misc { | |||
| DUB00, | |||
| title | = | "{Un parcours de la programmation à la preuve}", | |
| author | = | "C. Dubois", | |
| year | = | 2000, | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{Post-Doctoral Degree (Phd students supervisor) Habilitation à diriger des recherches, Université d'Evry}", | |
| } |
