# On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels

> Research article (ACM Transactions on Software Engineering and Methodology, 2022) · cited 36× · AI/ML

**Wikidata**: [openalex:W4287981760](https://www.wikidata.org/wiki/openalex:W4287981760)  
**Source**: https://4ort.xyz/entity/on-proving-the-correctness-of-refactoring-class-diagrams-of-mde-metamodels