Kun Chen

Orcid: 0009-0006-6300-238X

Affiliations:
  • National University of Defense Technology, Changsha, Hunan, China


According to our database1, Kun Chen authored at least 1 paper in 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation.
Proc. ACM Softw. Eng., 2025


  Loading...