Identifiant pérenne de la notice : 201463997
Notice de type
Personne
Certification de programmes avec des effets calculatoires / Burak Ekici ; sous la
direction de Jean-Guillaume Dumas et Dominique Duval. Thèse de doctorat : Mathématiques
et informatique : Grenoble Alpes : 2015
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