关注
Rumen Paletov
Rumen Paletov
未知所在单位机构
在 twitter.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Inferring crypto API rules from code changes
R Paletov, P Tsankov, V Raychev, M Vechev
ACM SIGPLAN Notices 53 (4), 450-464, 2018
482018
系统目前无法执行此操作，请稍后再试。