Kurt Stenzel, Nina Moebius, Wolfgang Reif. Formal Verification of QVT Transformations for Code Generation. In Jon Whittle, Tony Clark, Thomas Kühne, editors, Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Volume 6981 of Lecture Notes in Computer Science, pages 533-547, Springer, 2011. [doi]
Abstract is missing.