On the completeness of proving partial correctness

Csirmaz, László: On the completeness of proving partial correctness. In: Acta cybernetica, (5) 2. pp. 181-190. (1981)

[img]
Preview
Cikk, tanulmány, mű
cybernetica_005_fasc_002_181-190.pdf

Download (933kB) | Preview
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1981
Volume: 5
Number: 2
ISSN: 0324-721X
Page Range: pp. 181-190
Language: angol
Uncontrolled Keywords: Természettudomány, Matematika
Additional Information: Bibliogr.: 190. p.
Date Deposited: 2016. Oct. 15. 12:27
Last Modified: 2016. Oct. 15. 12:27
URI: http://acta.bibl.u-szeged.hu/id/eprint/12314

Actions (login required)

View Item View Item