Maged Elaasar, Lionel C. Briand, Yvan Labiche. Domain-Specific Model Verification with QVT. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 282-298, Springer, 2011. [doi]
Abstract is missing.