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

K. Rustan M. Leino

Microsoft

51H指数
174论文数
1.2W被引数
收录论文 3
发表时间
logo
Behavioral Interface Specification Languages
errACM COMPUTING SURVEYS
IF28
err2012-06-14
err74
PREAI
errHatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Mueller, Peter; Parkinson, Matthew
err分享
err收藏
Specification and Verification: The Spec# Experience
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-06-01
err96
PREAI
errBarnett, Mike; Faehndrich, Manuel; Leino, K. Rustan M.; Mueller, Peter; Schulte, Wolfram; Venter, Herman
err分享
err收藏
Learning to Do Program Verification
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-06-01
err2
PREAI
errLeino, K. Rustan M.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
W
Wolfram Schulte
H 指数: 46 · 论文数: 239
M
Manuel Fähndrich
H 指数: 42 · 论文数: 124
G
Gary T. Leavens
H 指数: 41 · 论文数: 245
J
John Hatcliff
H 指数: 40 · 论文数: 209
P
Péter Müller
H 指数: 36 · 论文数: 331
查看更多