GECCOO

• Équipe TFC
  Laboratoire d'informatique de Franche-Comté (LIFC) FRE 2661 CNRS
  Université de Franche-Comté, Besançon
• Projet CASSIS
  Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
  UMR 7503, CNRS - INPL - INRIA - UHP, Nancy 1 - Nancy 2
  Projet commun avec le Laboratoire d'informatique de Franche-Comté
• Projet Everest (issu du projet emme)
  INRIA Sophia-Antipolis
• Projet ProVal (issu du Projet LogiCal)
  Laboratoire de Recherche en Informatique (LRI) UMR 8623 CNRS, Université Paris Sud, Orsay
  et INRIA Futurs, Saclay
• Équipe VASCO
  Laboratoire Logiciels Systèmes Réseaux (LSR)-UMR 5526 CNRS, INPG, UJF, Grenoble

This document was translated from L^AT_EX by H^EV^EA.