Research areas:
Google Scholar

2016

[Proceedings]
Verigraph: a system for specification and analysis of graph grammars

Formal Methods: Foundations and Applications 2016.