- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Xinyu Jiang, Yu Guo, Yiyun Chen: The Logical Approach to Low-Level Stack Reasoning. TASE 2009: 209-216 |
| 2007 | ||
| 1 | | Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126 |
| 1 | Yiyun Chen | [1] [2] |
| 2 | Yu Guo | [1] [2] |
| 3 | Chunxiao Lin | [1] |