@inproceedings{GT06a,
  author =	 "Sumit Gulwani and Ashish Tiwari",
  title =	 "Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions",
  booktitle =	 "The 15th European Symposium on Programming",
  publisher =	 "Springer",
  month =	 mar,
  pages = "279--293",
  year =	 "2006",
}