The Logical Approach to Low-level Stack Reasoning
星期五, 12/18/2009 - 11:43 — nate
| 标题 | The Logical Approach to Low-level Stack Reasoning |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Jiang, X, Guo Y, Chen Y |
| Conference Name | 3th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'09) |
| Date Published | 7/2009 |
| 附件 | 大小 |
|---|---|
| tase-ieee.pdf | 109.46 KB |
- 要发表评论，请先登录
- Tagged
- XML
- BibTex
- Google Scholar