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.

Authors

Miguel García

This author has not been identified. Look up 'Miguel García' in Google

Ralf Möller

This author has not been identified. Look up 'Ralf Möller' in Google