@inproceedings{TUW-240661, author = {Oakes, Bentley James and Troya, Javier and Lucio, Levi and Wimmer, Manuel}, title = {Fully Verifying Transformation Contracts for Declarative ATL}, booktitle = {Proceedings of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)}, year = {2015}, pages = {1--12}, publisher = {IEEE}, url = {http://dx.doi.org/10.1109/MODELS.2015.7338256}, isbn = {978-1-4673-6908-4}, doi = {10.1109/MODELS.2015.7338256}, note = {Vortrag: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada; 2015-09-27 -- 2015-10-02} }