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