Zheng-Yu Wang

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

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

1990

1 Mitchell Wand, Zheng-Yu Wang: Conditional Lambda-Theories and the Verification of Static Properties of Programs LICS 1990: 321-332

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

Coauthor Index

1 Mitchell Wand [1] [2]