[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Zuleger:
"Termination and Bound Analysis of Imperative Programs";
Talk: Workshop on Logic and Computer Science, Vienna; 2011-03-24 - 2011-03-25.


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