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

@article{TUW-207520,
    author = {Burgstaller, Bernd and Scholz, Bernhard and Blieberger, Johann},
    title = {A symbolic analysis framework for static analysis of imperative programming languages},
    journal = {Journal of Systems and Software},
    year = {2012},
    volume = {85},
    number = {6},
    pages = {1418--1439},
    doi = {10.1016/j.jss.2011.11.1039},
    keywords = {Static program analysis Symbolic analysis; Path expression algebra; Programming language semantics}
}


1 Datensatz ausgegeben