Utilisateur:Lvaux
Aller à la navigation
Aller à la recherche
Lionel Vaux, ATER en Informatique à l'UFR SFA de Université de Savoie et membre de l'équipe de logique (LIMD) du LaMa.
Lionel Vaux, ATER en Informatique à l'UFR SFA de Université de Savoie et membre de l'équipe de logique (LIMD) du LaMa.