Main menu
You are here
Publications
Export 1 results:
Filters: Keyword is Inductive Verification and Author is Vitiello, G. [Clear All Filters]
, “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.