Partners

From BWare
Jump to: navigation, search
(ClearSy)
(Inria (Gallium, Deducteam, and Asap Teams))
Line 19: Line 19:
 
* [http://who.rocq.inria.fr/Gilles.Dowek/ Gilles Dowek]
 
* [http://who.rocq.inria.fr/Gilles.Dowek/ Gilles Dowek]
 
* [http://fabrice.lefessant.net/ Fabrice Le Fessant]
 
* [http://fabrice.lefessant.net/ Fabrice Le Fessant]
* [http://perso.isep.fr/ohermant Olivier Hermant]
+
* [http://www.cri.ensmp.fr/people/hermant/ Olivier Hermant] (CRI, MINES ParisTech)
  
 
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] ==
 
== [http://www.mitsubishielectric-rce.eu/ Mitsubishi Electric R&D Centre Europe] ==

Revision as of 13:50, 7 June 2013

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox