Partager

Version française Thèses Thèses en cours

LISSY Alexandre

Utilisation de méthodes formelles pour garantir des propriétés du noyau LINUX

Equipe OC

Directeur de thèse : MARTINEAU Patrick

Haut de page https://lifat.univ-tours.fr/lifat-version-francaise/formations/theses/theses-en-cours/lissy-alexandre