Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kun Chen
conf.researchr.org general profile
ISSTA 2025 profile
Registered user since Fri 4 Apr 2025
Name:
Kun Chen
Affiliation:
National University of Defense Technology
Contributions
2025
ISSTA
Author of Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation within the Research Papers-track
Share
x
Wed 24 Sep 09:59