Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Jon Haël Brenas

est l'auteur d'une thèse

Graphes Logique de Hoare Preuve Réécriture Transformation de graphes

Fullscreen

Graphes Logique de Hoare Preuve Réécriture Transformation de graphes

Jon Haël Brenas a rédigé la thèse suivante :

Hoare-like verification of graph transformation

par Jon Haël Brenas sous la direction de Rachid Echahed - Université Grenoble Alpes (ComUE)

Mathématiques et informatique

Soutenue le 13-10-2016

Thèse soutenue

Accéder en ligne