An Extension to Pointer Logic for Verification
星期一, 08/17/2009 - 13:32 — nate
| 标题 | An Extension to Pointer Logic for Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Wang, Z, Chen Y, Wang Z, Wang W, Tian B |
| Conference Name | Proceedings of 2nd IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2008) |
| Date Published | Jun |
| Publisher | IEEE Computer Society |
| Conference Location | Nanjing, China |
| 附件 | 大小 |
|---|---|
| wang08tase.pdf | 161.61 KB |