Jean-Yves • GIRARD
Directeur de Recherche Émérite (DREM) • Affiliation : Centre National Recherche Scientifique (CNRS)
Site : Luminy • Bureau : 226 • Etage du bureau : 2 •
AGLR-LDP (équipe Logique de la Programmation)
Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
Publications HAL