%0 Journal Article %1 demsky2006 %A Demsky, Brian %A Rinard, Martin C. %D 2006 %J IEEE Trans. Software Eng. %K repair software %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{demsky2006, added-at = {2008-01-17T22:20:39.000+0100}, author = {Demsky, Brian and Rinard, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/2c4a3f84d429892bcea3bb6c38a854f8f/thau}, date = {2007-01-04}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.122}, interhash = {2fee55535517ff51dfac2662e914848c}, intrahash = {c4a3f84d429892bcea3bb6c38a854f8f}, journal = {IEEE Trans. Software Eng.}, keywords = {repair software}, number = 12, pages = {931-951}, timestamp = {2008-01-17T22:20:39.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 }