The top documents tagged [fol specicationc atlanmod]

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

556 views