Inventaire
Site en anglais

Prof. Pierre-Alain Reynier

Université de Provence

Laboratoire d'Informatique Fondamentale

(France)



Collabore avec l'unité de recherche suivante :


  ⊿Méthodes formelles et vérification