You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is Verification and Author is Marco Comini [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

C

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

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