Main menu
You are here
Publications
Export 3 results:
Filters: Keyword is Verification and Author is Marco Comini [Clear All Filters]
, “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
, “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
, “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.