Thèse de Pauline Bolignano

"Formal models and verification of memory management in a hypervisor" - thèse de doctorat de l'université de Rennes 1 en informatique