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.