燕东
组内经历
2017 年毕业
硕士
论文
2018
2017
2016
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
APSEC 2016CCF CXingming WuZhenbo XuDong YanTianyong WuJun YanJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。
2017 年毕业
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。