logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
N

Nicky Williams

Universite Paris Saclay

10H指数
37论文数
489被引数
收录论文 1
发表时间
logo
The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
errCOMMUNICATIONS OF THE ACM
IF12.2
err2021-07-26
err32
errOAAI
errBaudin, Patrick; Bobot, Francois; Buhler, David; Correnson, Loic; Kirchner, Florent; Kosmatov, Nikolai; Maroneze, Andre; Perrelle, Valentin; Prevosto, Virgile; Signoles, Julien; Williams, Nicky
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nikolaï Kosmatov
H 指数: 20 · 论文数: 164
J
Julien Signoles
H 指数: 15 · 论文数: 81
V
Virgile Prévosto
H 指数: 12 · 论文数: 84
F
François Bobot
H 指数: 11 · 论文数: 47
L
Loïc Correnson
H 指数: 9 · 论文数: 33
查看更多