Kima: An automated error correction system for concurrent logic programs
Yasuhiro Ajiro*, Kazunori Ueda
*この研究の対応する著者
研究成果: Article › 査読
9
被引用数
(Scopus)