ARTIST Paper accepted at MODELS 2015

ARTIST Paper "Fully Verifying Transformation Contracts for Declarative ATL" has been accepted for presentation at the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), which will be held in Ottawa, Canada, on September 27th to October 2nd, 2015.

Date: 
Monday, August 31, 2015