| 标题 | Garbage Collector Verification for Proof-Carrying Code |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Lin, C, Chen Y, Li L, Hua B |
| Journal | Journal of Computer Science and Technology |
| Volume | 22 |
| Pagination | 426-437 |
| Date Published | May |
