You are here

Publications

Export 1 results:
Filters: Author is Omicini, A.  [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.