A Method for Code Safety Proof Construction
Mon, 08/17/2009 - 13:32 — nate
| Title | A Method for Code Safety Proof Construction |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Guo, Y, Chen Y, Lin C |
| Journal | Chinese Journal of Software |
| Volume | 19 |
| Pagination | 2720-2727 |
| Date Published | Oct |
| Attachment | Size |
|---|---|
| guo08jos.pdf | 74.08 KB |