Eman El-Sayed

• Refinement Validation of UML-B Pattern