科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
N
Nathan Chong
Imperial College London
14
H指数
30
论文数
725
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Implementing and Evaluating Candidate-Based Invariant Generation
实现和评估基于候选项的不变量生成
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2018-07-01
2
OA
AI
Betts, Adam; Chong, Nathan; Deligiannis, Pantazis; Donaldson, Alastair F.; Ketema, Jeroen
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
A
Alastair F. Donaldson
H 指数: 33 · 论文数: 209
J
Jeroen Ketema
H 指数: 14 · 论文数: 60
A
Adam Betts
H 指数: 12 · 论文数: 30
P
Pantazis Deligiannis
H 指数: 10 · 论文数: 32
已加载全部