Team IGG : Computer Graphics and Geometry

Projects:INRIA

From Team IGG : Computer Graphics and Geometry

Revision as of 12:54, 1 March 2016 by David.cazier (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project CAMUS, in cooperation with the INRIA Nancy Grand-Est since its begining in 2010 by Philippe Clauss (head of the team ICPS).

Retrieved from "https://igg.icube.unistra.fr/en/index.php?title=Projects:INRIA&oldid=2785"