You are here


Export 3 results:
Filters: Keyword is Verification  [Clear All Filters]
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.
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.