Talks and Poster Presentations (with Proceedings-Entry):
A. Krall, C. Thalinger, D. Ebner, F. Brandner:
"Short Presentation: Static Verification of Global Heap References in Java Native Libraries";
Talk: Third workshop on Semantics, Program Analysis, and computing Environments for memory management,
Charleston, South Carolina, USA;
2006-01; in: "Proceedings of the Third workshop on Semantics, Program Analysis, and Computing Environments for memory management",
(2006),
98
- 100.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587047
Created from the Publication Database of the Vienna University of Technology.