[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Talk: Software Systems Group Seminar, NICTA, Australien; 2011-07-19.


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