Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/tse/DemskyR06
AU - Demsky, Brian
AU - Rinard, Martin C.
TI - Goal-Directed Reasoning for Specification-Based Data Structure Repair.
JO - IEEE Trans. Software Eng.
VL - 32
IS - 12
SP - 931
EP - 951
PY - 2006//
DO - 10.1109/TSE.2006.122
UR - https://doi.org/10.1109/TSE.2006.122
UR - http://doi.ieeecomputersociety.org/10.1109/TSE.2006.122
ER -
