Analyse statique relationelle pour la sécurité des programmes

par Solène Mirliaz

Projet de thèse en Informatique

Sous la direction de David Pichardie.

Thèses en préparation à Rennes, École normale supérieure , dans le cadre de École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) depuis le 01-09-2019 .

Pas de résumé en français disponible.

Pas de résumé disponible.