✦ LIBER ✦

Corrigendum: Soundness and Completeness of an Axiom System for Program Verification

✍ Scribed by Cook, Stephen A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Identification of an industrial cohort a

✍ Dragana A. Andjelkovich; Richard J. Levine 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 480 KB

Sound and Complete Axiomatization of Tra

✍ Alexandra Silva; Ana Sokolova 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 437 KB

Solvability and completeness for an elec

✍ L. A. Vlasenko; A. G. Rutkas 📂 Article 📅 1993 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 136 KB

An integrated methodology for the specif

✍ Mike Holcombe 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

The design of an interactive program dev

✍ Bengt Nordström; Åke Wikström 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 984 KB

An automatic system for data logging and

✍ M.S Smith; R.H Davis; D Beamish 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 568 KB