Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig

Browse the full CALCO paper archive.