RIOBOO Renaud
Habilitation - 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
Phd defence : 12/18/2002 Departure date : 12/18/2002