Certification of transformation algorithms in model-driven software development

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.

Abstract

Abstract is missing.