On the incompleteness of proving partial correctness

Gergely Tamás and Szőts Miklós: On the incompleteness of proving partial correctness. In: Acta cybernetica, (4) 1. pp. 45-57. (1978)

[thumbnail of cybernetica_004_fasc_001_045-057.pdf]
Preview
Cikk, tanulmány, mű
cybernetica_004_fasc_001_045-057.pdf

Download (1MB) | Preview
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1978
Volume: 4
Number: 1
ISSN: 0324-721X
Page Range: pp. 45-57
Language: English
Place of Publication: Szeged
Related URLs: http://acta.bibl.u-szeged.hu/38469/
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: 57. p.
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:27
Last Modified: 2022. Jun. 08. 14:53
URI: http://acta.bibl.u-szeged.hu/id/eprint/12265

Actions (login required)

View Item View Item