Return to Article Details Formal Specification and Verification of UML Class Diagram Refactorings - Based on FGT Paradigm Download Download PDF