A Pointer Logic for Safety Verification of Pointer Programs
星期一, 08/17/2009 - 13:32 — nate
| 标题 | A Pointer Logic for Safety Verification of Pointer Programs |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Chen, Y, Hua B, Ge L, Wang Z |
| Journal | Chinese Journal of Computers |
| Volume | 31 |
| Pagination | 372-380 |
| Date Published | March |
| 附件 | 大小 |
|---|---|
| chen08joc.pdf | 419.05 KB |