文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Williame Rocha
发表
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)
Lucas C. Cordeiro, Bernd Fischer, Hussama Ismail, 2017, TACAS.