2008 |
3 | 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) |
2007 |
2 | EE | Yiyun Chen,
Lin Ge,
Baojian Hua,
Zhaopeng Li,
Cheng Liu:
Design of a Certifying Compiler Supporting Proof of Program Safety.
TASE 2007: 127-138 |
1 | EE | Yiyun Chen,
Lin Ge,
Baojian Hua,
Zhaopeng Li,
Cheng Liu,
Zhifang Wang:
A pointer logic and certifying compiler.
Frontiers of Computer Science in China 1(3): 297-312 (2007) |