Verification of Logic Programs

You are here

TitleVerification of Logic Programs
Publication TypeJournal Article
Year of Publication1999
AuthorsPedreschi, D, Ruggieri, S
JournalJ. Log. Program.
Volume39
Issue1-3
Pagination125-176
Taxonomy upgrade extras: