Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece

Registered user since Tue 8 Jun 2021

Name:Jie Su
Country:China
Affiliation:Xidian University
Research interests:Formal Methods, Model Checking

Contributions

ESEC/FSE 2021 Conditional Interpolation: Making Concurrent Program Verification More Effective
Show activities from other conferences

Using general profile