%0 Journal Article %1 journals/ase/OverbeyJH16 %A Overbey, Jeffrey L. %A Johnson, Ralph E. %A Hafiz, Munawar %D 2016 %J Autom. Softw. Eng. %K dblp %N 1 %P 77-104 %T Differential precondition checking: a language-independent, reusable analysis for refactoring engines. %U http://dblp.uni-trier.de/db/journals/ase/ase23.html#OverbeyJH16 %V 23

@article{journals/ase/OverbeyJH16, added-at = {2016-02-01T00:00:00.000+0100}, author = {Overbey, Jeffrey L. and Johnson, Ralph E. and Hafiz, Munawar}, biburl = {https://www.bibsonomy.org/bibtex/2af7546ef73eaea3615694feb946af617/dblp}, ee = {http://dx.doi.org/10.1007/s10515-014-0176-9}, interhash = {fe259cf134b972b64c6a3e177fba700a}, intrahash = {af7546ef73eaea3615694feb946af617}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {77-104}, timestamp = {2016-02-03T11:41:35.000+0100}, title = {Differential precondition checking: a language-independent, reusable analysis for refactoring engines.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase23.html#OverbeyJH16}, volume = 23, year = 2016 }