Skip to content
cs-conference-ranking.org

ABC Repair System for Datalog-like Theories.

Xue Li, Alan Bundy, Alan Smaill

VenueCIC3K
Year2018
ProceedingsKEOD
DBLP recordconf/ic3k/LiBS18 ↗

Browse the full IC3K paper archive.