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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.