Sign in
Honghe Chen
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Yunshan Zhao
,
Yawen Wang
,
Yunzhan Gong
,
Honghe Chen
,
Qing Xiao
,
Zhaohong Yang
STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic.
APSEC
(2011)