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.

Possibly Related Publications

The following publications are possibly variants of this publication: