@inproceedings{Seghir10,
  title = "An Assume Guarantee Approach for Checking Quantified Array Assertions",
  author = "Mohamed Nassim Seghir",
  year = "2010",
  booktitle = "AMAST",
  pages = "226-235",
}