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

Towards a system for proving the correctness of concurrent multicore ocaml programs

Début le 01/11/2018
Direction : JOURDAN, Jacques-Henri

Ecole doctorale : ED STIC 386
Etablissement d'inscription : Université Paris 7 (Diderot)

Lieu de déroulement : LRI - VALS et Inria équipe GALLIUM

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

Activités de recherche :

Résumé :