✦ LIBER ✦

Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"

✍ Scribed by Gries, D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Application of proof theory to the probl

✍ N. N. Nepeivoda 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 683 KB

Correction to 'On the Proof of the Centr

✍ Kallen, A. 📂 Article 📅 1984 🏛 Oxford University Press 🌐 English ⚖ 17 KB

Models of sets of sequences and the proo

✍ S.A. Abramov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 377 KB

Simple derivation of the function of gen

✍ John Z. Hearon; Yoshihiko Tsukamoto 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 71 KB

On the derivation of an asymptotically c

✍ Andreas Rössle 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 456 KB

Derivation and correction of the TsuâE

✍ Bandara, K. M. S. V.; Coon, D. D. 📂 Article 📅 1989 🏛 American Institute of Physics 🌐 English ⚖ 655 KB