| |
| 2008 | ||
|---|---|---|
| 3 | EE | Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: Implementation of Pointer Logic for Automated Verification. ICYCS 2008: 2295-2301 |
| 2 | EE | Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: An Extension to Pointer Logic for Verification. TASE 2008: 49-56 |
| 1 | EE | Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua: Automated verification of pointer programs in pointer logic. Frontiers of Computer Science in China 2(4): 380-397 (2008) |
| 1 | Yiyun Chen | [1] [2] [3] |
| 2 | Baojian Hua | [1] |
| 3 | Bo Tian | [2] [3] |
| 4 | Wei Wang | [2] [3] |
| 5 | Zhifang Wang | [1] [2] [3] |