You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is Inductive Verification and Author is Maria Chiara Meo [Clear All Filters]

2001

M. Comini, Gori, R., and Levi, G., “Logic programs as specifications in the inductive verification of logic programs”, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.

1996

M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Proving properties of Logic Programs by Abstract Diagnosis”, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.