Verification of ATL Transformations Using Transformation Models and Model Finders.

Fabian Bttner, Marina Egea, Jordi Cabot, Martin Gogolla

Browse the full ICFEM paper archive.