Fu-qiang Zhu

According to our database, Fu-qiang Zhu authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Model Checking and Verification of the Internet Payment System with SPIN.

Wei Zhang, Wenke Ma, Huiling Shi, Fu-qiang Zhu

J. Softw., 2012