%0 Journal Article
%A Baatmaanghelich, Zahra, Rezaee, Ali, Adabi, Sahar
%T Formal Method in Service Composition in Heath Care Systems
%J Journal of Advances in Computer Engineering and Technology
%V 4
%N 1
%P 1-6
%D 2018
%R 
%U https://sanad.iau.ir/fa/Article/789135