×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
反馈留言
个人主页
个人信息
个人简介
科研成果
会议论文(1)
期刊论文(1)
来源
PROCEEDINGS 2018 12TH INTE...(1)
计算机科学与探索(1)
收录类别
CPCI(1)
CPCI-S(1)
CSCD(1)
EI(1)
北大核心(1)
访问统计
来源
PROCEEDINGS 2018 12TH INTE...(1)
计算机科学与探索(1)
发表日期
2019(1)
2018(1)
关键词云
More»
成果统计
More»
×
知识图谱
合作作者[TOP 5]
点击查看合作网络
张俊
合作成果数:2
宋富
合作成果数:1
Zhang, Min
合作成果数:1
Zhu, Xiaoran
合作成果数:1
合作作者
张俊
合作成果数:2
宋富
合作成果数:1
Zhang, Min
合作成果数:1
Zhu, Xiaoran
合作成果数:1
王丰
硕士生
所在学院:
信息科学与技术学院
职务:
--
研究方向:
备注:
--
科研成果
2
1723
318
17
0
1
Items
Views
Downloads
TC[WOS]
TC[CSCD]
H-index
排序方式:
按发表日期降序
按发表日期升序
按WOS被引频次降序
按期刊影响因子降序
正在努力地加载数据中,请稍候……
[1]
王丰,张俊. KRust:Rust形式化可执行语义[J]. 计算机科学与探索,2019,13(12):2008-2014.
浏览/下载:
199/0
; 被引[WOS]:
0
评论
推荐
收藏
[2]
Wang, Feng,Song, Fu,Zhang, Min,et al. Krust: A Formal Executable Semantics Of Rust[C]. Proceedings 2018 12th International Symposium On Theoretical Aspects Of Software Engineering (tase 2018).345 E 47th St, New York, Ny 10017 Usa.Ieee.2018-01-01,44-51.
浏览/下载:
1524/318
; 被引[WOS]:
17
评论
推荐
收藏
每页显示
10
0
条
‹
1
›