Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems
['Mo Li', 'Shaoying Liu']
/
IEEE Transactions on Reliability
/ Vol. 65
/ No. 1
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？