Masaki Murakami
研究成果
Proving Rartial Correctness of Guarded Horn Clauses Programs. / Murakami, Masaki.
}
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 -