DMCA

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

Cached

Download Links

by Fabian Büttner , Marina Egea , Jordi Cabot
Venue:Website
Citations:9 - 6 self