Design of a Certifying Compiler Supporting Proof of Program Safety
星期一, 08/17/2009 - 13:32 — nate
| 标题 | Design of a Certifying Compiler Supporting Proof of Program Safety |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Chen, Y, Ge L, Hua B, Li Z, Liu C |
| Conference Name | Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007) |
| Date Published | Jun |
| Publisher | IEEE Computer Society |
| Conference Location | Shanghai, China |
| 附件 | 大小 |
|---|---|
| dccspps.pdf | 143.71 KB |