Peiye Yang

According to our database, Peiye Yang authored at least 1 paper in 2025.

Collaborative distances:

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

2025

OCLVerifer: Automated verification of OCL contracts in requirements models.

Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang

Sci. Comput. Program., 2025