[Back]


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)
http://dx.doi.org/10.1007/11860990_12

Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586786