Partners

De BWare
Révision datée du 23 février 2014 à 08:36 par Bware (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Sauter à la navigation Sauter à la recherche

Cedric (CPR Team)

LRI (VALS team, formerly Toccata, formerly ProVal)

Inria (Gallium, Deducteam, and Asap Teams)

Mitsubishi Electric R&D Centre Europe

  • David Mentré (local coordinator)

ClearSy

  • Thierry Lecomte (local coordinator)
  • Etienne Prun
  • Lilian Burdy
  • Antoine Requet
  • Hector Ruiz-Barradas

OCamlPro