Talks and Poster Presentations (with Proceedings-Entry):
R. Fechete, G. Kienesberger, J. Blieberger:
"A Framework for CFG-based Static Program Analysis of Ada Programs";
Talk: Reliable Software Technologies - Ada-Europe,
Venice, Italy;
2008-06-16
- 2008-06-20; in: "Ada-Europe'2008 International Conference on Reliable Software Technologies",
Springer - LNCS,
5026
(2008),
ISBN: 978-3-540-68621-7;
130
- 143.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-540-68624-8