Kima: An Automated Error Correction System for Concurrent Logic Programs

Yasuhiro Ajiro, Kazunori Ueda. Kima: An Automated Error Correction System for Concurrent Logic Programs. Automated Software Engineering, 9(1):67-94, 2002.

Possibly Related Publications

The following publications are possibly variants of this publication: