Anca MUSCHOLL
Anca Muscholl Professeur (Université Bordeaux)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Responsable des masters "Algorithmes et modèles" et "Vérification logicielle"
Page personnelle : http://www.labri.fr/~anca
Courrier électronique : anca.muschollarobaselabri.fr
Bureau : 321
Tél : +33 (0)5 40 00 35 21



Page mise à jour le 13/08/2010 à 10:56