PengChao Zhao

According to our database, PengChao Zhao authored at least 1 paper in 2008.

Collaborative distances:

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

2008

Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking.

Lei Wang, Qiang Zhang, PengChao Zhao

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008