BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-139987, author = {Burgstaller, Bernd and Blieberger, Johann and Mittermayr, Robert}, title = {Static Detection of Access Anomalies in Ada95}, booktitle = {Proc. 11th International Conference on Reliable Software Technologies - Ada-Europe 2006}, year = {2006}, pages = {40--55}, publisher = {Springer-Verlag}, isbn = {3-540-34663-5}, doi = {10.1007/11767077{\_}4}, note = {talk: Reliable Software Technologies - Ada-Europe, Porto, Portugal; 2006-06-05 -- 2006-06-09} } 1 Datensatz ausgegeben