Elena Planas, David Sanchez-Mendoza, Jordi Cabot, Cristina Gómez. Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models. In Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong-Li Lee, editors, Advances in Conceptual Modeling - ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings. Volume 7518 of Lecture Notes in Computer Science, pages 378-382, Springer, 2012. [doi]
Abstract is missing.