Declarative diagnosis of temporal concurrent constraint programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Hi-index | 0.01 |