Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Thèse en cours de ZUCCHINI Rébecca
ZUCCHINI Rébecca
Thèse en cours
Equipe : Vérification d'Algorithmes, Langages et Systèmes

Langage certifie en Coq pour la provenance de données issues d'analyses bioinformatiques

Début le 01/09/2019
Direction : BENZAKEN, Véronique

Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Saclay

Lieu de déroulement : LRI - VALS

Soutenue le 01/01/1970 devant le jury composé de :

Activités de recherche :

Résumé :