On the completeness of proving partial correctness

  • László Csirmaz

Downloads

Download data is not yet available.
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