Floyd, R. W. Assigning meanings to programs. (English) Zbl 0189.50204 Proc. Sympos. Appl. Math. 19, 19-32 (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 206 Documents Keywords:computer science and automata PDFBibTeX XML