%0 Conference Paper %1 conf/jmlc/BurgstallerSB06 %A Burgstaller, Bernd %A Scholz, Bernhard %A Blieberger, Johann %B JMLC %D 2006 %E Lightfoot, David E. %E Szyperski, Clemens A. %I Springer %K dblp %P 172-194 %T Symbolic Analysis of Imperative Programming Languages. %U http://dblp.uni-trier.de/db/conf/jmlc/jmlc2006.html#BurgstallerSB06 %V 4228 %@ 3-540-40927-0

@inproceedings{conf/jmlc/BurgstallerSB06, added-at = {2018-11-02T00:00:00.000+0100}, author = {Burgstaller, Bernd and Scholz, Bernhard and Blieberger, Johann}, biburl = {https://www.bibsonomy.org/bibtex/2eb6ebabb4628ab9fcd6788f01ab6c668/dblp}, booktitle = {JMLC}, crossref = {conf/jmlc/2006}, editor = {Lightfoot, David E. and Szyperski, Clemens A.}, ee = {https://doi.org/10.1007/11860990_12}, interhash = {156adab3f6e04da7b06496cb0ddd484d}, intrahash = {eb6ebabb4628ab9fcd6788f01ab6c668}, isbn = {3-540-40927-0}, keywords = {dblp}, pages = {172-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:09.000+0200}, title = {Symbolic Analysis of Imperative Programming Languages.}, url = {http://dblp.uni-trier.de/db/conf/jmlc/jmlc2006.html#BurgstallerSB06}, volume = 4228, year = 2006 }