DBLP Record 'conf/aadebug/AjiroU00'

BibTeX

@inproceedings{DBLP:conf/aadebug/AjiroU00,
  author    = {Yasuhiro Ajiro and
               Kazunori Ueda},
  title     = {Kima- An automated error correction system for concurrent
               logic programs},
  booktitle = {AADEBUG},
  year      = {2000},
  ee        = {http://arxiv.org/abs/cs.SE/0012007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}