×

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).

MSC:

68N01 General topics in the theory of software
68Q45 Formal languages and automata
03D99 Computability and recursion theory
PDFBibTeX XMLCite