Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
CDIV


Févr. 2012 - Déc. 2013

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : GAUDEL Marie-Claude

Gestionnaire : 
Organisme gérant : CNRS

CDIV



Activités de recherche

Membres LRI



Contrats
° FASTRELAX
FAST AND RELIABLE APPROXIMATION
ANR