@inproceedings{GT06a,
  author =	 "Sumit Gulwani and Ashish Tiwari",
  title =	 "Assertion Checking Unified",
  booktitle =	 "The 8th International Conference on Verification, Model Checking and Abstract Interpretation",
  publisher =	 "Springer",
  month =	 jan,
  year =	 "2007",
}