Using ATL for Checking Models

J. Bézivin,F. Jouault
DOI: https://doi.org/10.1016/j.entcs.2006.01.015
2006-03-01
Abstract:
What problem does this paper attempt to address?