Zheng-Yu Wang

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Publications

Mitchell Wand, Zheng-Yu Wang
Conditional Lambda-Theories and the Verification of Static Properties of Programs Inf. Comput. 113 (2) (1994)
Mitchell Wand, Zheng-Yu Wang
Conditional Lambda-Theories and the Verification of Static Properties of Programs LICS (1990)