Ulyana Tikhonova, Tim A. C. Willemse. Documenting and Designing QVTo Model Transformations Through Mathematics. In Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen, editors, Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Volume 586 of Communications in Computer and Information Science, pages 349-364, Springer, 2015. [doi]
Abstract is missing.