@inproceedings{mihaila14synthesizing,
  author = {B. Mihaila and A. Simon},
  title = {Synthesizing {P}redicates from {A}bstract {D}omain {L}osses},
  booktitle = {NASA Formal Methods},
  editor = {J. Badger and K. Y. Rosier},
  month = {April},
  year = 2014,
  pages = {328--342},
  series = {LNCS},
  volume = {8430},
  publisher = {Springer},
  address = {Houston, Texas, USA},
}