Buscar
Mostrando ítems 1-1 de 1
Artículo
Full contract verification for ATL using symbolic execution
(Springer, 2016)
The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a de facto standard in model-driven engineering for implementing model transformations. At the same ...