On the completeness of proving partial correctness

Elmentve itt :
Bibliográfiai részletek
Szerző: Csirmaz László
Dokumentumtípus: Cikk
Megjelent: 1981
Sorozat:Acta cybernetica 5 No. 2
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12314
Leíró adatok
Terjedelem/Fizikai jellemzők:181-190
ISSN:0324-721X