A CEGAR-Based Static–Dynamic Approach to Verifying Full Regular Properties of C Programs
['Kai Yang', 'Cong Tian', 'Nan Zhang', 'Zhenhua Duan', 'Hongwei Du']
/
IEEE Transactions on Reliability
/ Vol. 70
/ No. 4
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？