Jon Haël Brenas. Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes). PhD thesis, Grenoble Alpes University, France, 2016. [doi]
@phdthesis{hal-10078,
title = {Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes)},
author = {Jon Haël Brenas},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01680448},
researchr = {https://researchr.org/publication/hal-10078},
cites = {0},
citedby = {0},
school = {Grenoble Alpes University, France},
}