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

@inproceedings{TUW-140012,
    author = {Burgstaller, Bernd and Scholz, Bernhard and Blieberger, Johann},
    title = {Symbolic Analysis of Imperative Programming Languages},
    booktitle = {Proc. JMLC 2006},
    year = {2006},
    pages = {172--194},
    publisher = {Springer-Verlag},
    address = {LNCS 4228},
    isbn = {978-3-540-40927-4},
    doi = {10.1007/11860990{\_}12},
    note = {talk: 7th Joint Modular Languages Conference (JMLC 2006), Oxford, England; 2006-09-13 -- 2006-09-15}
}


1 Datensatz ausgegeben