An Automatic Proving Approach to Parameterized Verification Log. 19(4): 27:1-27:25 (2018)

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
一月 2018
PDF DOI
类型
会议文章
出版物
ACM Trans. Comput. Log.
Conf