JOURNAULT Matthieu

Doctorant
Équipe : APR
Date d'arrivée : 01/09/2016
Localisation : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 88 16, Matthieu.Journault (at) nulllip6.fr
https://www-apr.lip6.fr/~journault/
Direction de recherche : Antoine MINÉ

Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction et l'inférence de contrats

Publications 2016

 Mentions légales
Carte du site |