Kevin Lano, David Clark. Model Transformation Specification and Verification. In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 45-54, IEEE Computer Society, 2008. [doi]
Abstract is missing.