A formalized proof system for total correctness of while programs
DSpace/Manakin Repository
A formalized proof system for total correctness of while programs
(1982) Lecture Notes in Computer Science, volume 137, pp. 26 - 36
(Article in proceedings)
Download/Full Text
ISSN: 0302-9743
Publisher: Springer Verlag
See more statistics about this item