Towards Modular Reasoning for Model Transformations

Steffen Zschaler, Jeffrey Terrell, Iman Poernomo. Towards Modular Reasoning for Model Transformations. In Workshop on Composition and Evolution of Model Transformations. 2011.

Abstract

Abstract is missing.