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.


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


  • Pas de résumé disponible.