paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 178704598Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Dross, Claire (1986-....)
Nom à l'état civil

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : France
Date de naissance :    1986
Genre : Féminin

Notes

Note publique d'information : 
Docteure à AdaCore (en 2023)

Source

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]

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/309909104

Utilisation dans Rameau

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

... Références liées : ...