Différences entre les versions de « Projets:INRIA »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
− | Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l''''équipe-projet CAMUS''', commune avec l'INRIA Nancy Grand-Est depuis son lancement en 2010 par Philippe Clauss, responsable de l'équipe ICPS | + | Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l''''équipe-projet CAMUS''', commune avec l'INRIA Nancy Grand-Est depuis son lancement en 2010 par Philippe Clauss, responsable de l'équipe ICPS. |
Version du 17 décembre 2013 à 18:00
Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l'équipe-projet CAMUS, commune avec l'INRIA Nancy Grand-Est depuis son lancement en 2010 par Philippe Clauss, responsable de l'équipe ICPS.