You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 3 results:

BibTex

Filters: Keyword is Verification [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., and Vitiello, G., “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.

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

H

A. Baruzzo and Comini, M., “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.