فهرست مقالات Sahar Adabi مقاله 1 - Formal Method in Service Composition in Heath Care Systems Zahra Baatmaanghelich Ali Rezaee Sahar Adabi Journal of Advances in Computer Engineering and Technology , شماره 1 , سال 4 , زمستان 2018