Login / Signup
Zhenpeng Fang
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Active Rules
Dynamic Analysis
Abstract Interpretation
Top Venues
COMPSAC (1)
</>
Publications
</>
Zhenpeng Fang
,
Xibin Zhao
,
Min Zhou
Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving.
COMPSAC (1)
(2017)