|
 
|
[R10] Vérification formelle et optimisation de l'allocation de registres
Mémoire de Thèse : Soutenue le: 30 November 2010, pp. nn, pp.: Directeur:Rapporteur 1:
Rapporteur 2:
Membre du jury:
Membre du jury:
Membre du jury:, : Vérification formelle et optimisation de l'allocation de registres,
motcle:
Résumé:
nn
Equipe:
sys
BibTeX
| @phdthesis { | |||
| R10, | |||
| title | = | "{Vérification formelle et optimisation de l'allocation de registres}", | |
| author | = | "B. Robillard", | |
| year | = | 2010, | |
| pages | = | "nn", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{ Directeur: Rapporteur 1: Rapporteur 2: Membre du jury: Membre du jury: Membre du jury:}", | |
| } |
