Alexandria ACM Student Chapter | Specification & Verification of Data-Centric Web Services | By Dr. Iman Saleh