BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-170944,
    author = {Fechete, Raul and Kienesberger, Georg and Blieberger, Johann},
    title = {A Framework for CFG-based Static Program Analysis of Ada Programs},
    booktitle = {Ada-Europe'2008 International Conference on Reliable Software Technologies},
    year = {2008},
    pages = {130--143},
    publisher = {Springer - LNCS},
    address = {5026},
    isbn = {978-3-540-68621-7},
    doi = {10.1007/978-3-540-68624-8},
    note = {talk: Reliable Software Technologies - Ada-Europe, Venice, Italy; 2008-06-16 -- 2008-06-20}
}


1 Datensatz ausgegeben