Zheng-Yu Wang

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

Collaborative distances:

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

1990

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

Mitchell Wand, Zheng-Yu Wang

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990