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

@inproceedings{TUW-137468,
    author = {Blieberger, Johann and Burgstaller, Bernd},
    title = {Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation},
    booktitle = {Lecture Notes in Computer Science - Ada-Europe},
    year = {2003},
    pages = {153--167},
    publisher = {Springer-Verlag},
    address = {2655},
    url = {http://www.auto.tuwien.ac.at/~blieb/papers/symrange.pdf},
    isbn = {3-540-40376-0},
    note = {talk: Reliable Software Technologies - Ada-Europe, Toulouse, France; 2003-06-16 -- 2003-06-20}
}


1 Datensatz ausgegeben