Publications

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

Filters: Keyword is Verification and Author is Vitiello, G. [Clear All Filters]

Conference Proceedings

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

Journal Article

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

Main menu