Skip to main navigation
Skip to search
Skip to main content
Waseda University Home
Search by expertise, name or affiliation
Kima - an Automated Error Correction System for Concurrent Logic Programs.
School of Fundamental Science and Engineering
Contribution to journal
Dive into the research topics of 'Kima - an Automated Error Correction System for Concurrent Logic Programs.'. Together they form a unique fingerprint.