Projects:INRIA
Revision as of 18:00, 17 December 2013 by David.cazier (talk | contribs)
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).