Identifiant pérenne de la notice : 203000579
Notice de type
Personne
A Machine-Checked Proof of Correctness of Pastry / Noran Azmy ; sous la direction
de Stephan Merz et Christoph Weidenbach. Thèse de doctorat : Informatique : Université
de Lorraine : 2016
Information trouvée : née le 10/12/1986 (d'après le formulaire de thèse)
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