Rechercher dans
Nos Events & Actus
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée
Université Ibn Khaldoun
Date de soutenance: 29-07-2015
