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

Martin Schäef

amazon.com

2H指数
4论文数
39被引数
收录论文 1
发表时间
logo
One-Click Formal Methods
errIEEE SOFTWARE
IF3
err2019-11-01
err16
PREAI
errBackes, John; Bolignano, Pauline; Cook, Byron; Gacek, Andrew; Luckow, Kasper Soe; Rungta, Neha; Schaef, Martin; Schlesinger, Cole; Tanash, Rima; Varming, Carsten; Whalen, Michael
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
B
Byron Cook
H 指数: 42 · 论文数: 143
M
Michael W. Whalen
H 指数: 29 · 论文数: 160
A
Andrew Gacek
H 指数: 20 · 论文数: 65
N
Neha Rungta
H 指数: 19 · 论文数: 85
C
Cole Schlesinger
H 指数: 18 · 论文数: 36
查看更多