%0 Journal Article %1 journals/sigsoft/ZhengLNP18 %A Zheng, Guolong %A Le, Quang Loc %A Nguyen, ThanhVu %A Phan, Quoc-Sang %D 2018 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 66 %T Automatic Data Structure Repair usingSeparation Logic. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft43.html#ZhengLNP18 %V 43

@article{journals/sigsoft/ZhengLNP18, added-at = {2020-09-17T00:00:00.000+0200}, author = {Zheng, Guolong and Le, Quang Loc and Nguyen, ThanhVu and Phan, Quoc-Sang}, biburl = {https://www.bibsonomy.org/bibtex/29f4e02ee9cdb6b3ecc30bd6bf882f7c1/dblp}, ee = {https://doi.org/10.1145/3282517.3282528}, interhash = {3699bdfc4d3c310bc3dd73212230c4e3}, intrahash = {9f4e02ee9cdb6b3ecc30bd6bf882f7c1}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = 66, timestamp = {2020-09-18T11:38:51.000+0200}, title = {Automatic Data Structure Repair usingSeparation Logic.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft43.html#ZhengLNP18}, volume = 43, year = 2018 }