On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification
['Hoang-Viet TRAN', 'Ngoc Hung PHAM', 'Viet Ha NGUYEN']
/
IEICE Transactions in Information and Systems
/ Vol. 102
/ No. 8
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？