%0 Journal Article %1 journals/toplas/RepsSL10 %A Reps, Thomas W. %A Sagiv, Mooly %A Loginov, Alexey %D 2010 %J ACM Trans. Program. Lang. Syst. %K dblp %N 6 %P 24:1-24:55 %T Finite differencing of logical formulas for static analysis. %U http://dblp.uni-trier.de/db/journals/toplas/toplas32.html#RepsSL10 %V 32

@article{journals/toplas/RepsSL10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Reps, Thomas W. and Sagiv, Mooly and Loginov, Alexey}, biburl = {https://www.bibsonomy.org/bibtex/2599ad43a258611664ad5a5ad18c2175e/dblp}, ee = {https://doi.org/10.1145/1749608.1749613}, interhash = {bf379a0b3502321654ce3ebfc5f26744}, intrahash = {599ad43a258611664ad5a5ad18c2175e}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 6, pages = {24:1-24:55}, timestamp = {2018-11-07T12:36:18.000+0100}, title = {Finite differencing of logical formulas for static analysis.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas32.html#RepsSL10}, volume = 32, year = 2010 }