@InProceedings{Seghir:SAS2009-3,
  author =       "Mohamed Nassim Seghir and Andreas Podelski and Thomas
                 Wies",
  title =        "Abstraction Refinement for Quantified Array
                 Assertions",
  pages =        "3--18",
  ee =           "http://dx.doi.org/10.1007/978-3-642-03237-0_3",
  editor =       "Jens Palsberg and Zhendong Su",
  booktitle =    "Static Analysis (SAS 2009)",
  address =      "Los Angeles, CA, USA",
  month =        aug,
  year =         "2009",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5673",
}