fabianbuettner documents

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