Talks and Poster Presentations (with Proceedings-Entry):

B. Burgstaller, B. Scholz, J. Blieberger:
"Symbolic Analysis of Imperative Programming Languages";
Talk: 7th Joint Modular Languages Conference (JMLC 2006), Oxford, England; 2006-09-13 - 2006-09-15; in: "Proc. JMLC 2006", Springer-Verlag, LNCS 4228 (2006), ISBN: 978-3-540-40927-4; 172 - 194.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Online library catalogue of the TU Vienna:

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