@inproceedings{DBLP:conf/aplas/SeghirS14,
  title = "Necessary and Sufficient Preconditions via Eager Abstraction",
  author = "Mohamed Nassim Seghir and Peter Schrammel",
  year = "2014",
  booktitle = "Programming Languages and Systems, {APLAS} 2014",
  pages = "236--254",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8858",
}