Analysis and correctness of algebraic graph and model transformationsUlrike GolasVyprodáno4,3Pohlídat