Identifiant pérenne de la notice : 178704598
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
Information trouvée : membre du jury en tant que docteure à AdaCore
Procédures de décision génériques pour des théories axiomatiques du premier ordre
/ par Claire Dross ; sous la direction de Claude Marche, Université Paris-Sud, 2014
[thèse d'Informatique]
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial