| Title | Design and Proof of a Safe Programming Language {P}ointer{C} |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Hua, B, Chen Y, Li Z, Wang Z, Ge L |
| Journal | Chinese Journal of Computers |
| Volume | 31 |
| Pagination | 556-564 |
| Date Published | April |
