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

@inproceedings{TUW-248740,
    author = {Mittermayr, Robert and Blieberger, Johann},
    title = {Kronecker Algebra for Static Analysis of Barriers in Ada},
    booktitle = {Ada-Europe'2016 International Conference on Reliable Software Technologies},
    year = {2016},
    pages = {145--159},
    publisher = {Springer-Verlag},
    note = {talk: Reliable Software Technologies - Ada-Europe, Pisa, Italy; 2016-06-13 -- 2016-06-17}
}


1 Datensatz ausgegeben