Qingyu Jiang

According to our database, Qingyu Jiang authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation.

Qingyu Jiang, Jing Liu, Haodong Hu

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018