Weakest Preconditions for Pure Prolog Programs

TitleWeakest Preconditions for Pure Prolog Programs
Publication TypeJournal Article
Year of Publication1998
AuthorsPedreschi, D, Ruggieri S
JournalInf. Process. Lett.
Volume67
Issue3
Pagination145-150
  • Biblio Keywords: