Dynamic Formal Verification of High Performance Runtimes and Applications

par The Anh Pham

Projet de thèse en Informatique

Sous la direction de Martin Quinson.


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


  • Pas de résumé disponible.