✦ LIBER ✦

Correctness verification: alternative to structural software testing

✍ Scribed by M Dyer; A Kouchakdjian

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatic system for program correctness

✍ L. V. Chernobrod 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 978 KB

Software validation: inspection - testin

✍ D. Karamanlidis 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 231 KB

Multiple-labelling immunoEM using differ

✍ Terry M. Mayhew; John M. Lucocq 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 270 KB