Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution
['Meng Wang', 'Cong Tian', 'Nan Zhang', 'Zhenhua Duan']
/
IEEE Transactions on Reliability
/ Vol. 68
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？