科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
L
Larry Maccherone
Carnegie Mellon University
2
H指数
4
论文数
151
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Software Mythbusters Explore Formal Methods
软件流氓探索正式方法
IEEE SOFTWARE
IF
3
2009-11-01
3
PRE
AI
Jaspan, Ciera; Keeling, Michael; Maccherone, Larry; Zenarosa, Gabriel L.; Shaw, Mary
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Mary Shaw
H 指数: 52 · 论文数: 439
C
Ciera Jaspan
H 指数: 16 · 论文数: 57
M
Michael Keeling
H 指数: 6 · 论文数: 23
G
Gabriel L. Zenarosa
H 指数: 6 · 论文数: 17
已加载全部