RIOBOO Renaud
Habilitation à Diriger des Recherches - CALFORhttps://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=220
Programmer le Calcul Formel, de L'Algorithmique a la Sémantique
Soutenance : 18/12/2002Date de départ : 18/12/2002