Algebraic Specification of a Model Transformation Engine

Boronat Moll Arturo, Carsí Cubel José Ángel, Ramos Salavert Isidro

2006

Lecture Notes in Computer Science