Login / Signup
Qingyu Jiang
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Active Rules
Abstract Interpretation
Software Architecture
Top Venues
APSEC
</>
Publications
</>
Qingyu Jiang
,
Jing Liu
,
Haodong Hu
A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation.
APSEC
(2018)