[Back]


Doctor's Theses (authored and supervised):
N. Rinetzky:
"Interprocedural and Modular Local Heap Shape Analysis";
Supervisor, Reviewer: J. Knoop, N. N.; Tel-Aviv University, Tel Aviv, Israel, 2008.

Created from the Publication Database of the Vienna University of Technology.