Assertion based Inductive Verification Methods for Logic Programs

Marco Comini, Roberta Gori, Giorgio Levi. Assertion based Inductive Verification Methods for Logic Programs. Electronic Notes in Theoretical Computer Science, 40:52-69, 2000. [doi]

Authors

Marco Comini

This author has not been identified. Look up 'Marco Comini' in Google

Roberta Gori

This author has not been identified. Look up 'Roberta Gori' in Google

Giorgio Levi

This author has not been identified. Look up 'Giorgio Levi' in Google