You are here

Home

Publications

Export 2 results:
Filters: First Letter Of Last Name is H  [Clear All Filters]
Conference Proceedings
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M., “Cost-Sensitive Diagnosis of Declarative Programs”, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.
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.

created with Drupal | customized by Giovanni Bacci