by Jens Weber | 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.
by Jens Weber | Jun 1, 2022 | formal methods
I am thrilled that my paper on GRAPEpress won a Best Paper Award at the International Conference on Graph Transformations (ICGT 2021). ICGT has never given a best paper award for a tools paper. Apparently this new category has been created because the program...
