✦ LIBER ✦

Verification of gamma spectroscopy programs: a standardized approach

✍ Scribed by Markku J. Koskelo; Mark T. Mercier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of gamma-spectroscopy progr

✍ M. T. Mercier; M. J. Koskelo 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 548 KB

Verification of gamma-spectroscopy progr

✍ M. J. Koskelo; H. R. Schwenn 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 167 KB

Verification of gamma spectroscopy progr

✍ M. J. Koskelo; M. T. Mercier 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 332 KB

Verification of object-oriented programs

✍ Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog; Stijn de Gouw 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 369 KB

A new approach to program verification

✍ Bhabani P. Sinha; Pradip K. Srimani 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 800 KB

Towards verification of C# programs: A t

✍ V. A. Nepomniaschy; I. S. Anureev; I. V. Dubranovskii; A. V. Promsky 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 217 KB