Thomas Baar, Slavisa Markovic. A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 70-83, Springer, 2006. [doi]
Abstract is missing.