Accéder directement au contenu Accéder directement à la navigation

LACL - Laboratoire d'algorithmique, complexité et logique

2013-2014 (vague E)

Type de rapport
Rapport d’évaluation d’une entité de recherche
Campagne d'évaluation
2013-2014 (vague E)
Date de publication
2014-05-03
Etablissement(s)
Université Paris-Est Créteil Val de Marne - UPEC
Domaine scientifique
Sciences et technologies de l'information et de la communication
Discipline
ST Sciences et technologies
ST6 Sciences et technologies de l'information et de la communication
Nom des équipes de l'unité
E 1 : Logique, Calcul et Programmation
E2 : Spécification et Vérification de Systèmes
Mots-clés
Langue de rédaction du rapport
Français

Partager