Bernd Burgstaller Bernhard Scholz Johann Blieberger Symbolic Analysis of Imperative Programming Languages. 172-194 2006 conf/jmlc/2006 JMLC http://dx.doi.org/10.1007/11860990_12 db/conf/jmlc/jmlc2006.html#BurgstallerSB06