[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Talk: Microsoft Research Lecture, Microsoft Research Cambridge, UK (invited); 2011-12-01.


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