Rewriting Logic Semantics and Verification of Model Transformations.

Artur Boronat, Reiko Heckel, Jos Meseguer

Browse the full FASE paper archive.