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

Gary T. Leavens

State University System of Florida

41H指数
245论文数
7.6K被引数
收录论文 3
发表时间
logo
What kinds of contracts do ML APIs need?
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2023-10-17
err1
PREAI
errKhairunnesa, Samantha Syeda; Ahmed, Shibbir; Imtiaz, Sayem Mohammad; Rajan, Hridesh; Leavens, Gary T.
err分享
err收藏
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收藏
The Verified Software Initiative: A Manifesto
errACM COMPUTING SURVEYS
IF28
err2009-10-09
err16
PREAI
errHoare, C. A. R.; Misra, Jayadev; Leavens, Gary T.; Shankar, Natarajan
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
K
K. Rustan M. Leino
H 指数: 51 · 论文数: 174
C
C. A. R. Hoare
H 指数: 51 · 论文数: 225
J
John Hatcliff
H 指数: 40 · 论文数: 209
N
Natarajan Shankar
H 指数: 38 · 论文数: 151
J
Jayadev Misra
H 指数: 36 · 论文数: 169
查看更多