Partners

From BWare
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