On the completeness of proving partial correctness

Authors

  • László Csirmaz

Downloads

Download data is not yet available.

Downloads

Published

1981-01-01

How to Cite

Csirmaz, L. (1981). On the completeness of proving partial correctness. Acta Cybernetica, 5(2), 181–190. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3214

Issue

Vol. 5 No. 2 (1981)

Section

Regular articles