Verification of Model Transformations

Bernhard Schätz. Verification of Model Transformations. ECEASST, 29, 2010. [doi]

Abstract

Abstract is missing.