Difference between revisions of "Projects:INRIA"
Jump to navigation
Jump to search
David.cazier (talk | contribs) |
David.cazier (talk | contribs) |
||
| Line 1: | Line 1: | ||
| + | |||
| + | {{PAGE_Begin}} | ||
| + | |||
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). | 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). | ||
| + | {{PAGE_End}} | ||
[[fr:Projets:INRIA]] | [[fr:Projets:INRIA]] | ||
Revision as of 12:54, 1 March 2016
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).