Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems
星期一, 08/17/2009 - 13:32 — nate
| 标题 | Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Feng, X, Shao Z, Guo Y, Dong Y |
| Conference Name | Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08) |
| Date Published | Oct |
| Publisher | Springer-Verlag |
| Conference Location | Toronto, Canada |
| 附件 | 大小 |
|---|---|
| itrimp.pdf | 250.73 KB |