Proving Rartial Correctness of Guarded Horn Clauses Programs

Masaki Murakami

研究成果

本文言語English
ジャーナルLecture Notes in Computer Science
315
出版ステータスPublished - 1988

引用スタイル