@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}, }