Publications

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

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

1998

M. Comini, Levi, G., and Vitiello, G., “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.

1999

M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.

Main menu