Identifiant pérenne de la notice : 223367397
Notice de type
Personne
Hoare-like verification of graph transformation / Jon Haël Brenas ; sous la direction
de Rachid Echahed. Thèse de doctorat : Mathématiques et informatique : Grenoble Alpes
: 2016
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