Manna, Z. The correctness of programs. (Russian. English original) Zbl 0285.68011 Kibern. Sb., Nov. Ser. 7, 85-93 (1970); translation from J. Computer System Sci. 3, 119-127 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 25 Documents MSC: 68N01 General topics in the theory of software 68Q45 Formal languages and automata 03D99 Computability and recursion theory PDF BibTeX XML Cite \textit{Z. Manna}, Kibern. Sb., Nov. Ser. 7, 85--93 (1969; Zbl 0285.68011); translation from J. Computer System Sci. 3, 119--127 (1969) OpenURL