Shuaida Wu

According to our database, Shuaida Wu authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Towards Formal Modeling and Verification of the Stellar Consensus Protocol in Z3.

Feiran Lei, Yihao Zhang, Xuefei Tong, Shuaida Wu, Meng Sun

Proceedings of the 25th International Conference on Software Quality, 2025