Detecting Bugs of Concurrent Programs With Program Invariants
['Rong Wang', 'Zuohua Ding', 'Ning Gui', 'Yang Liu']
/
IEEE Transactions on Reliability
/ Vol. 66
/ No. 2
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？