Kima: An automated error correction system for concurrent logic programs

Yasuhiro Ajiro*, Kazunori Ueda

*この研究の対応する著者

研究成果: Article査読

9 被引用数 (Scopus)

フィンガープリント

「Kima: An automated error correction system for concurrent logic programs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science