Weakest Preconditions for Pure Prolog Programs

You are here

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