You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is Transformation of logic programs and Author is Giorgio Levi [Clear All Filters]

2001

M. Comini, Gori, R., and Levi, G., “Assertion based Inductive Verification Methods for Logic Programs”, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 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.