Proof-Carrying Model-Transformation Components

Jeffrey Terrell, Steffen Zschaler, Iman Poernomo. Proof-Carrying Model-Transformation Components. Technical Report TR-11-02, King's College London, Department of Informatics, 2011.

Abstract

Abstract is missing.