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.

Monday, August 31, 2015