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

@inproceedings{TUW-227415,
    author = {Blieberger, Johann and Burgstaller, Bernd},
    title = {Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects},
    booktitle = {Proceedings of Ada-Europe 2014},
    year = {2014},
    pages = {27--42},
    isbn = {978-3-319-08310-0},
    note = {talk: Reliable Software Technologies - Ada-Europe, Paris, France; 2014-06-23 -- 2014-06-27}
}


1 Datensatz ausgegeben