@inproceedings{abstract-syntax.VMCAI:2013,
  title = "Abstraction of Syntax",
  author = "V. D'Silva and D. Kroening",
  year = "2013",
  booktitle = "Proc.~of the conference on Verification, Model Checking and Abstract Interpretation",
  publisher = "Springer-Verlag",
}