Kröger, F. Logical rules of natural reasoning about programs. (English) Zbl 0362.68038 Automata, languages and programming, 3rd int. Collog. Edinburgh 1976, 87-98 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 4 Documents MSC: 68N01 General topics in the theory of software 03B10 Classical first-order logic × Cite Format Result Cite Review PDF