Modular Abstract Diagnosis

Marco Comini, Giorgio Levi, Giuliana Vitiello. Modular Abstract Diagnosis. In José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998. pages 409-420, 1998.

Authors

Marco Comini

This author has not been identified. Look up 'Marco Comini' in Google

Giorgio Levi

This author has not been identified. Look up 'Giorgio Levi' in Google

Giuliana Vitiello

This author has not been identified. Look up 'Giuliana Vitiello' in Google