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

@inproceedings{TUW-137442,
    author = {Blieberger, Johann and Burgstaller, Bernd},
    title = {Symbolic Reaching Definitions Analysis of Ada Programs},
    booktitle = {Lecture Notes in Computer Science - Ada-Europe Conf.},
    year = {1998},
    pages = {238--250},
    publisher = {Springer-Verlag},
    address = {1411},
    isbn = {3-540-64536-5},
    doi = {10.1007/BFb0055009},
    note = {talk: Reliable Software Technologies - Ada-Europe, Uppsala, Sweden; 1998-06-08 -- 1998-06-12}
}


1 Datensatz ausgegeben