@phdthesis{3814,
  title = "Program Analysis with Interpolants",
  author = "Georg Weissenbacher",
  year = "2010",
  affiliation = "Oxford University",
  url = "http://ora.ouls.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6",
}