by Jens Weber | Jul 7, 2022 | formal methods, Grape, tools
Given flight chaos, pandemic and other issues, I was not able to participate in person in this year’s Workshop on Graph Computation Models (GCM ’22). I presented my  paper on control structures for functional graph rewriting using an online presentation...
