Lucas RANSAN

Doctorant/Contrat Jeune Chercheur
Université d'Orléans
LMV
lucas.ransan[at]etu.univ-orleans.fr
Thèse : Vérification de modules critiques d'hyperviseur avec la prise en compte des propriétés matérielles