• Improving conflict detection in double-pushout graph transformation 

      Azzi, Guilherme Grochau (2018) [Dissertação]
      Graph transformation is a useful framework for the specification, analysis and development of software, particularly within Model-Driven methodologies. In this setting, graphs or graph-like structures are used to represent ...