@inproceedings{mihaila13widening,
  author = {B. Mihaila and A. Sepp and A. Simon},
  title = {Widening as {A}bstract {D}omain},
  booktitle = {NASA Formal Methods},
  editor = {G. Brat and N. Rungta and A. Venet},
  month = {May},
  year = 2013,
  pages = {170--186},
  series = {LNCS},
  volume = {7871},
  publisher = {Springer},
  address = {Moffett Field, California, USA},
}