![]() |
@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}
}
Copyright © 2008-10-21 by Michael Ley (ley@uni-trier.de)