You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Author is Villares-Ferro, M. [Clear All Filters]

1998

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

1999

M. Comini, Drabent, W., and Pietrzak, P., “Diagnosis of CHIP Programs Using Type Information”, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.