On challenges of model transformation from UML to Alloy. (2010)

by K Anastasakis, B Bordbar, G Georg, I Ray
Venue:Software & Systems Modeling