Kima
From MaRDI portal
Software:20974
No author found.
Related Items (3)
Unnamed Item ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Kima: An automated error correction system for concurrent logic programs
This page was built for software: Kima
