Xinwu Yi

According to our database, Xinwu Yi authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.

Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022