Perdita Stevens. A Simple Game-Theoretic Approach to Checkonly QVT Relations. In Richard F. Paige, editor, Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Volume 5563 of Lecture Notes in Computer Science, pages 165-180, Springer, 2009. [doi]
Abstract is missing.