Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/MODELS.2015.7338256
Elektronische Version der Publikation:
http://dx.doi.org/10.1109/MODELS.2015.7338256