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]

Journal Article

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

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.

Main menu