Talks and Poster Presentations (without Proceedings-Entry):
F. Zuleger:
"Bound Analysis of Imperative Programs with the Size-change Abstraction";
Talk: Austrian Society for Rigorous Systems Engineering (ARiSE) workshop together with PUMA workshop,
Traunkirchen, Austria;
2011-10-03
- 2011-10-07.