👤 Eman Karam and Asmaa Abdel Moniem

Detecting Anti-Pattern in Event-B.. Enas El-Sharawy