Prénom Nom Quentin Bergougnoux
Sujet de thèse 
Conception et implémentation d'un exo-noyau à la propriété d'isolation formellement prouvable
Conception et implémentation d'un exo-noyau à la propriété d'isolation formellement prouvable
Conception et implémentation d'un exo-noyau à la propriété d'isolation formellement prouvable