Static Type Checking of Model Transformation Programs

Zoltán Ujhelyi, Ákos Horváth, Dániel Varró. Static Type Checking of Model Transformation Programs. ECEASST, 38, 2011. [doi]

Abstract

Abstract is missing.