%0 Conference Paper %1 conf/pldi/ApinisSV13 %A Apinis, Kalmer %A Seidl, Helmut %A Vojdani, Vesal %B PLDI %D 2013 %E Boehm, Hans-Juergen %E Flanagan, Cormac %I ACM %K dblp %P 377-386 %T How to combine widening and narrowing for non-monotonic systems of equations. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#ApinisSV13 %@ 978-1-4503-2014-6

@inproceedings{conf/pldi/ApinisSV13, added-at = {2018-11-30T00:00:00.000+0100}, author = {Apinis, Kalmer and Seidl, Helmut and Vojdani, Vesal}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ee23be5e3cb8d5b47dbed1bea553082c/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2013}, editor = {Boehm, Hans-Juergen and Flanagan, Cormac}, ee = {https://doi.org/10.1145/2499370.2462190}, interhash = {218240fb3d4e78d5d9cb664a0d1dbae5}, intrahash = {ee23be5e3cb8d5b47dbed1bea553082c}, isbn = {978-1-4503-2014-6}, keywords = {dblp}, pages = {377-386}, publisher = {ACM}, timestamp = {2019-09-27T15:41:06.000+0200}, title = {How to combine widening and narrowing for non-monotonic systems of equations.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#ApinisSV13}, year = 2013 }