Type theory based semantic verification for service composition in cloud computing environments
['Changqin Huang', 'Xizhe Wang', 'Dianhui Wang']
/
Information Sciences
/ Vol. 469
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？