Kima - an Automated Error Correction System for Concurrent Logic Programs.

Yasuhiro Ajiro, Kazunori Ueda

研究成果: Article査読

1 被引用数 (Scopus)
本文言語English
ページ(範囲)122-137
ページ数16
ジャーナルComputer Software
18
4
DOI
出版ステータスPublished - 2000 1

ASJC Scopus subject areas

  • ソフトウェア

引用スタイル