@article{271397,
      author = {Fahringer, Thomas, and Scholz, Bernhard},
      url = {http://library.usi.edu/record/271397},
      title = {Advanced symbolic analysis for compilers : new techniques  and algorithms for symbolic program analysis and  optimization /},
      publisher = {Springer,},
      recid = {271397},
      pages = {xii, 129 p. :},
      address = {Berlin ;},
      year = {2003},
}