English
复旦大学
首页
教学课程
研究成果
科学研究
研究领域
论文成果
专利
著作成果
科研项目
教学研究
教学资源
授课信息
教学成果
获奖信息
招生信息
学生信息
我的相册
社会服务
学术组织
社会职务
其他
教师博客
更多
陈玉聃
( 副教授 硕士生导师 )
教师拼音名称：Chen Yudan
所在单位：国际关系与公共事务学院
学历：研究生毕业
学位：博士学位
在职信息：在职
主要任职：教师
中文主页
>>
科学研究
>>
论文成果
论文成果
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
发布时间：2021-05-31
点击次数：
发表刊物：
史学月刊
编号：
DB442
期号：
9
页面范围：
17-20
是否译文：
否
发表时间：
2020-01-01
上一条：
Detecting anomalous users via streaming data processing in smart grid
下一条：
Understanding I/O performance of IPFS storage: A client's perspective
