Jie Su - ESEC/FSE 2021

Write a Blog >>

Thu 19 - Sat 28 August 2021 Clowdr Platform

Registered user since Tue 8 Jun 2021

Name:Jie Su

Country:China

Affiliation:Xidian University

Research interests:Formal Methods, Model Checking

Contributions

2021

ESEC/FSE

Conditional Interpolation: Making Concurrent Program Verification More Effective

Show activities from other conferences

ESEC/FSE 2021-profile
View general profile