TY  - RPRT
TI  - Formalising the Double-Pushout Approach to Graph Transformation
AU  - Robert Söldner
AU  - Detlef Plump
PY  - 2024
DO  - 10.46298/lmcs-20(4:3)2024
UR  - https://arxiv.org/abs/2312.15641
ID  - 2312.15641
ER  -