Kima

swMATH8979MaRDI QIDQ20974FDOQ20974

Author name not available (Why is that?)

Cited In (3)

• An integrated framework for the diagnosis and correction of rule-based programs
• Kima: An automated error correction system for concurrent logic programs
• Title not available (Why is that?)

This page was built for software: Kima