[Back]


Talks and Poster Presentations (without Proceedings-Entry):
F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Talk: Theory Seminar, Queen Mary University, UK (invited); 2011-11-30.

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