[Back]


Talks and Poster Presentations (with Proceedings-Entry):

B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Fully Verifying Transformation Contracts for Declarative ATL";
Talk: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada; 2015-09-27 - 2015-10-02; 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; 1 - 12.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/MODELS.2015.7338256

Electronic version of the publication:
http://dx.doi.org/10.1109/MODELS.2015.7338256


Created from the Publication Database of the Vienna University of Technology.