Proving Rartial Correctness of Guarded Horn Clauses Programs

Research output: Contribution to journalArticle

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

Cite this

Proving Rartial Correctness of Guarded Horn Clauses Programs. / Murakami, Masaki.

In: Lecture Notes in Computer Science, Vol. 315, 1988.

Research output: Contribution to journalArticle

@article{8030ca8e05fe4cc3ba8580ba67da5e91,
title = "Proving Rartial Correctness of Guarded Horn Clauses Programs",
author = "Masaki Murakami",
year = "1988",
language = "English",
volume = "315",
journal = "Lecture Notes in Computer Science",

}

TY - JOUR

T1 - Proving Rartial Correctness of Guarded Horn Clauses Programs

AU - Murakami, Masaki

PY - 1988

Y1 - 1988

M3 - Article

VL - 315

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -