Bernd Burgstaller, Bernhard Scholz, Johann Blieberger. Symbolic Analysis of Imperative Programming Languages. In David E. Lightfoot, Clemens A. Szyperski, editors, Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings. Volume 4228 of Lecture Notes in Computer Science, pages 172-194, Springer, 2006. [doi]
@inproceedings{BurgstallerSB06,
title = {Symbolic Analysis of Imperative Programming Languages},
author = {Bernd Burgstaller and Bernhard Scholz and Johann Blieberger},
year = {2006},
doi = {10.1007/11860990_12},
url = {http://dx.doi.org/10.1007/11860990_12},
tags = {programming languages, program analysis, analysis, programming},
researchr = {https://researchr.org/publication/BurgstallerSB06},
cites = {0},
citedby = {0},
pages = {172-194},
booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings},
editor = {David E. Lightfoot and Clemens A. Szyperski},
volume = {4228},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40927-0},
}