DBLP Record 'conf/caepia/CeballosGVB05'

BibTeX

@inproceedings{DBLP:conf/caepia/CeballosGVB05,
  author    = {Rafael Ceballos and
               Rafael M. Gasca and
               Carmelo Del Valle and
               Diana Borrego},
  title     = {Diagnosing Errors in DbC Programs Using Constraint Programming},
  booktitle = {CAEPIA},
  year      = {2005},
  pages     = {200-210},
  ee        = {http://dx.doi.org/10.1007/11881216_22},
  crossref  = {DBLP:conf/caepia/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/caepia/2005,
  editor    = {Roque Mar\'{\i}n and
               Eva Onaindia and
               Alberto Bugar\'{\i}n and
               Jos{\'e} Santos},
  title     = {Current Topics in Artificial Intelligence, 11th Conference
               of the Spanish Association for Artificial Intelligence,
               CAEPIA 2005, Santiago de Compostela, Spain, November 16-18,
               2005, Revised Selected Papers},
  booktitle = {CAEPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4177},
  year      = {2006},
  isbn      = {3-540-45914-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}