Proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for memory management
Book title Buchtitel
Proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for memory management
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Krall, Andreas ; Thalinger, Christian ; Ebner, Dietmar ; Brandner, Florian | Short Presentation: Static Verification of Global Heap References in Java Native Libraries | Konferenzbeitrag Inproceedings  | 2006 |