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