@phdthesis{de-1550,
  title = {A demand-driven solver for constraint-based control flow analysis},
  author = {Christian W. Probst},
  year = {2004},
  url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/219/index.html},
  note = {http://d-nb.info/972321683},
  researchr = {https://researchr.org/publication/de-1550},
  cites = {0},
  citedby = {0},
  school = {Saarland University},
}