Evelyne Contejean dirige actuellement la thèse suivante :

Spécification profonde en Coq de langages NoSQL

par Mohammed houssem eddine Hachmaoui sous la direction de Evelyne Contejean et de Véronique Benzaken . - Paris Saclay

Informatique
En préparation depuis le 01-10-2016
Thèse en préparation


Evelyne Contejean a dirigé les 2 thèses suivantes :


Evelyne Contejean a été rapporteur de la thèse suivante :


Evelyne Contejean a été membre de jury de la thèse suivante :