On the incompleteness of proving partial correctness

Elmentve itt :
Bibliográfiai részletek
Szerzők: Gergely Tamás
Szőts Miklós
Dokumentumtípus: Cikk
Megjelent: 1978
Sorozat:Acta cybernetica 4 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12265
Leíró adatok
Terjedelem/Fizikai jellemzők:45-57
ISSN:0324-721X