%0 Journal Article %1 journals/tse/DemskyR06 %A Demsky, Brian %A Rinard, Martin C. %D 2006 %J IEEE Trans. Software Eng. %K %N 12 %P 931-951 %T Goal-Directed Reasoning for Specification-Based Data Structure Repair. %U http://dblp.uni-trier.de/db/journals/tse/tse32.html#DemskyR06 %V 32

@article{journals/tse/DemskyR06, added-at = {2023-12-12T20:29:28.000+0100}, author = {Demsky, Brian and Rinard, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/2c4a3f84d429892bcea3bb6c38a854f8f/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.122}, interhash = {2fee55535517ff51dfac2662e914848c}, intrahash = {c4a3f84d429892bcea3bb6c38a854f8f}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 12, pages = {931-951}, timestamp = {2023-12-12T20:29:28.000+0100}, title = {Goal-Directed Reasoning for Specification-Based Data Structure Repair.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse32.html#DemskyR06}, volume = 32, year = 2006 }