Analysis and correctness of algebraic graph and model transformationsUlrike GolasAgotado4,3Notifícame
