Thèse : soutenance de Pierre Wilke

«Formally verified compilation of low-level C code» - thèse de doctorat de l'université de Rennes 1 en informatique