DMCA

On verifying ATL transformations using ’off-the-shelf’ SMT solvers (2012)

Cached

Download Links

by Fabian Buettner , Marina Egea , Jordi Cabot , Fabian Büttner , Marina Egea , Jordi Cabot