Select Page

ICGT 2022 paper accepted

by | Jun 1, 2022 | formal methods

My paper on functional graph transformations with GrapeVine has been accepted at the Int. Conference on Graph Transformations (ICGT) 2022 in Nante, France.