UML2Alloy: A Challenging Model Transformation.

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray

Browse the full MODELS paper archive.