Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
847 Publications
2007 | Conference Paper | LibreCat-ID: 8413
K. Anastasakis, B. Bordbar, and J. Küster, “Analysis of Model Transformations via Alloy,” in Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), 2007, vol. 5002, pp. 47–56.
LibreCat