Identifiant pérenne de la notice : 27645832X
Notice de type
Personne
Deductive verification of Rust programs / Xavier Denis ; sous la direction de Claude
Marché ; sous le co-encadrement et Jacques-Henri Jourdan. Thèse de doctorat : Informatique
: université Paris-Saclay : 2023