Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In Jon Whittle, Tony Clark, Thomas Kühne, editors, Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Volume 6981 of Lecture Notes in Computer Science, pages 592-607, Springer, 2011. [doi]
Abstract is missing.