The top documents tagged [itc atlanmod]

On verifying ATL transformations using `off-the-shelf' SMT solvers
Technology On verifying ATL transformations using `off-the-shelf' SMT solvers

556 views