Proving Rartial Correctness of Guarded Horn Clauses Programs

Masaki Murakami

Research output: Contribution to journalArticle

Original languageEnglish
JournalLecture Notes in Computer Science
Volume315
Publication statusPublished - 1988

Cite this