فهرست مقالات Formal methods دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - Formal Method in Service Composition in Heath Care Systems Zahra Baatmaanghelich Ali Rezaee Sahar Adabi