Dénes Bisztray. Verification of Architectural Refactorings: Rule Extraction and Tool Support. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Volume 5214 of Lecture Notes in Computer Science, pages 475-477, Springer, 2008. [doi]
Abstract is missing.