Analysis of model transformations via alloy. (2007)

by Kyriakos Anastasakis, Behzad Bordbar, Jochen M Kuster
Venue:In Proceedings of the 4th MoDeVVa workshop ModelDriven Engineering, Verification and Validation,