Alexandria ACM Student Chapter | Specification & Verification of Data-Centric Web Services | By Dr. Iman Saleh
Lee Dirks Director, Education & Scholarly Communication Microsoft External Research.