Accueil > Axes > Formal Proofs

Membres

Enseignants-Chercheurs
Karine Altisen email 0457422223 Grenoble INP
Sylvain Boulme email 0457422206 Grenoble INP
Pierre Corbineau email 0457422211 Grenoble INP
Jean-François Monin email 0457422231 UGA
Lionel Rieg email 0457422209 Grenoble INP
Chercheurs
David Monniaux email 0457422232 CNRS
Ingénieurs
Erwan Jahier email 0457422223 CNRS
Doctorants
Alexandre Berard email UGA/CIFRE
Basile Gros email MESR
Alban Reynaud Michez email UGA

Nouvelles publications

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4144837