A Formal Certifying Framework for Assembly Programs
Mon, 08/17/2009 - 13:32 — nate
| Title | A Formal Certifying Framework for Assembly Programs |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Li, Z, Chen Y, Ge L, Hua B |
| Journal | Chinese Journal of Computer Research and Development |
| Volume | 45 |
| Pagination | 825-833 |
| Date Published | May |
| Attachment | Size |
|---|---|
| li08jcrd.pdf | 932.37 KB |