Firstname Name Quentin Bergougnoux
PHD subject 
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