Didier Bert;Rachid Echahed;Kamel Adi
-;-;-
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science