Analysis and correctness of algebraic graph and model transformationsUlrike GolasÉpuisé4,3Prévenez-moi