You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is Abstract Diagnosis and Author is Giorgio Levi [Clear All Filters]

Conference Proceedings

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.

Journal Article

M. Comini, Gori, R., Levi, G., and Volpe, P., “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.