会议论文详细信息
| Typing, Analysis and Verification of Heap-Manipulating Programs | |
| BEYOND THE YEAR OF WATER: LIVING WITHIN OUR WATER LIMITATIONS NOVEMBER NEW MEXICO WATER RESOURCES RESEARCH INSTITUTE 2007 | |
| 计算机科学;物理学 | |
| Robert M. Hirsch is the Associate Director for | |
| PID : 79592 | |
| 学科分类：计算机科学（综合） | |
| 来源: CEUR | |
 PDF
|
|
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| BEYOND THE YEAR OF WATER: LIVING WITHIN OUR WATER LIMITATIONS NOVEMBER NEW MEXICO WATER RESOURCES RESEARCH INSTITUTE 2007 | 53KB |  download |
878987797
028-85220240
