Proving Properties of Logic Programs by Abstract Diagnosis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Marco Comini' in GoogleThis author has not been identified. Look up 'Giorgio Levi' in GoogleThis author has not been identified. Look up 'Maria Chiara Meo' in GoogleThis author has not been identified. Look up 'Giuliana Vitiello' in Google

runs on WebDSL