On the incompleteness of proving partial correctness
  • Metadata
Content: http://acta.bibl.u-szeged.hu/12265/
Archive: SZTE Egyetemi Kiadványok Repozitórium
Set: Tipus = Cikk, tanulmány, mű
Szakterület = 01. Természettudományok: 01.02. Számítás- és információtudomány
Szakterület = 01. Természettudományok
Title:
On the incompleteness of proving partial correctness
Creator:
Gergely Tamás
Szőts Miklós
Date:
1978
Subject:
01. Természettudományok
01.02. Számítás- és információtudomány
Language:
Hungarian
English
Type:
Cikk, tanulmány, mű
NonPeerReviewed
Format:
part
Identifier:
Gergely Tamás; Szőts Miklós: On the incompleteness of proving partial correctness. In: Acta cybernetica, (4) 1. pp. 45-57. (1978)
Relation: