WenDi Zhao

According to our database, WenDi Zhao authored at least 1 paper in 2010.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2010

Yet Another Model Checker for PROMELA - The Transformation Approach.

WenDi Zhao

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010