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

@inproceedings{TUW-137443,
    author = {Blieberger, Johann and Burgstaller, Bernd and Scholz, Bernhard},
    title = {Interprocedural Symbolic Evaluation of Ada Programs with Aliases},
    booktitle = {Lecture Notes in Computer Science - Ada-Europe Conf.},
    year = {1999},
    pages = {136--145},
    publisher = {Springer-Verlag},
    address = {1622},
    url = {http://www.auto.tuwien.ac.at/~blieb/papers/ada99.pdf},
    isbn = {3-540-66093-3},
    note = {talk: Reliable Software Technologies - Ada-Europe, Santander, Spain; 1999-06-07 -- 1999-06-11}
}


1 Datensatz ausgegeben