Fully Verifying Transformation Contracts for Declarative ATL

B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Fully Verifying Transformation Contracts for Declarative ATL";
Vortrag: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada; 27.09.2015 - 02.10.2015; in:"Proceedings of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)", IEEE, (2015), ISBN: 978-1-4673-6908-4; S. 1 - 12.

[ Publication Database ]