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
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
M. Alpuente
,
Ballis, D.
,
Correa, F.
, and
Falaschi, M.
,
“
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
”
,
Theoretical Computer Science
, vol. 411, no. 47, 2010.
Google Scholar
BibTex
Google Scholar
BibTex