Publication | Closed Access
A formal approach to model refactoring and model refinement
49
Citations
22
References
2006
Year
Software MaintenanceRefinement TechniqueEngineeringCode RefactoringDesignFormal MethodsSoftware EngineeringModel RefinementSoftware AnalysisSoftware DesignRefactoringFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1