Miguel García, Ralf Möller. Certification of transformation algorithms in model-driven software development. In Wolf-Gideon Bleek, Jörg Raasch, Heinz Züllighoven, editors, Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg. Volume 105 of LNI, pages 107-118, GI, 2007.
@inproceedings{GarciaM07,
title = {Certification of transformation algorithms in model-driven software development},
author = {Miguel García and Ralf Möller},
year = {2007},
tags = {model-to-model transformation, meta-model, model-driven development, source-to-source, certification, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/GarciaM07},
cites = {0},
citedby = {0},
pages = {107-118},
booktitle = {Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg},
editor = {Wolf-Gideon Bleek and Jörg Raasch and Heinz Züllighoven},
volume = {105},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-199-7},
}