Vérification formelle pour la compilation de services concurrents de haut niveau

par Yannick Zakowski

Projet de thèse en Informatique

Sous la direction de David Cachera et de David Pichardie.


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


  • Pas de résumé disponible.