Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Software Engineering | Forschung | Abgeschlossene Projekte | ENSURE I (2012-2016) & ENSURE II (2016-2019) | Co-Evolution | saft.transformations.editrules.manual.sa.zip saft.transformations.editrules.manual.sa.zip saft.transformations.editrules.manual.sa.zip — 256.8 KB