Yves Bertot
Statut : Directeur de recherche
Laboratoire : INRIA UCA
Site web : https://www-sop.inria.fr/members/Yves.Bertot/research.html
MyGDR - Fiche GT public
Laboratoire : INRIA UCA
Site web : https://www-sop.inria.fr/members/Yves.Bertot/research.html