Evaluation reports
FR
LACL - Laboratoire d'algorithmique, complexité et logique
Type: Research unit evaluation report
Evaluation campaign: 2013-2014 (group E)
- Published on: 03/05/2014
Institution(s) concerned:
Université Paris-Est Créteil Val de Marne - UPEC
Disciplinary research field: Science and Technology (ST) ; ST6 Information and Communication Science and Technology
Scientific field(s): 9 - Sciences et technologies de l'information et de la communication
Name of unit teams: E 1 : Logique, Calcul et Programmation,E2 : Spécification et Vérification de Systèmes