Yingjia Du

According to our database, Yingjia Du authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.

Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023