Logic programs as specifications in the inductive verification of logic programs
COMINI, Marco
•
GORI R
•
LEVI G.
2001
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
DOI
Archivio
Diritti
metadata only access