Report copyright - A SET OF REFACTORING RULES FOR UML-B SPECIFICATIONS · work done to introduce refactoring rules for object-oriented speci cation languages. Section 3 gives our refactoring rules for
Please pass captcha verification before submit form