Zheng-Yu Wang

According to our database, Zheng-Yu Wang authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Conditional Lambda-Theories and the Verification of Static Properties of Programs

Mitchell Wand, Zheng-Yu Wang

Inf. Comput., September, 1994