%0 Journal Article %1 journals/scp/ChenW20 %A Chen, Sheng %A Wu, Baijun %D 2020 %J Sci. Comput. Program. %K dblp %P 102544 %T Efficient counter-factual type error debugging. %U http://dblp.uni-trier.de/db/journals/scp/scp200.html#ChenW20 %V 200

@article{journals/scp/ChenW20, added-at = {2020-11-24T00:00:00.000+0100}, author = {Chen, Sheng and Wu, Baijun}, biburl = {https://www.bibsonomy.org/bibtex/23c4c5c3195cebe7002cf3c5b1bca08b8/dblp}, ee = {https://doi.org/10.1016/j.scico.2020.102544}, interhash = {da9a05e3d37ce08077945279dd688698}, intrahash = {3c4c5c3195cebe7002cf3c5b1bca08b8}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102544, timestamp = {2020-11-25T11:35:55.000+0100}, title = {Efficient counter-factual type error debugging.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp200.html#ChenW20}, volume = 200, year = 2020 }