Identifiant pérenne de la notice : 204772567
Notice de type
Personne
Un système de types pragmatique pour la vérification déductive des programmes / Léon
Gondelman ; sous la direction de Jean-Christophe Filliatre. Thèse de doctorat : Informatique
: Paris Saclay : 2016
Information trouvée : Membre du jury en tant que Maître de conférences à l'Université Paris-Sud (France)
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