Assertion based Inductive Verification Methods for Logic Programs
COMINI, Marco
•
GORI R
•
LEVI G.
2001
Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
DOI
Archivio
Diritti
metadata only access