DAMASCUS HIGH SCHOOL 9 TH GRADE PARENT MEETING. COUNSELING OFFICE Counselors: A-Ba Mr. Peelman Be-E Mr. Higgins F-Kh Mrs. Djouha Ki-O Mr. Smith P-Sa Mrs.
Discovery of SOA patterns via Model Checking Authors: M. Di Penta, A. Santone, M.L. Villani.