An Algebraic Semantics for QVT-Relations Check-Only Transformations

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-618