Proving Properties of Logic Programs by Abstract Diagnosis

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. Proving Properties of Logic Programs by Abstract Diagnosis. In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Volume 1192 of Lecture Notes in Computer Science, pages 22-50, Springer, 1996.

No reviews for this publication, yet.