Partners

From BWare
Revision as of 08:36, 23 February 2014 by Bware (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Contents

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

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox