![]() | ![]() |
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 |
1 | Mitchell Wand | [1] [2] |