Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
Modular Abstract Diagnosis
M. Comini
,
Levi, G.
, and
Vitiello, G.
,
“
Modular Abstract Diagnosis
”
,
Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming
. pp. 409–420, 1998.
Google Scholar
BibTex
Google Scholar
BibTex
