✦ LIBER ✦

Program Verification: State of the Art, Problems, and Results. I

✍ Scribed by S. L. Kryvyi,O. M. Maksymets

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program Verification: State of the Art,

✍ Kryvyi, S. L.; Maksymets, O. M. 📂 Article 📅 2014 🏛 Springer US 🌐 English ⚖ 155 KB

Inductive synthesis of programs: State o

✍ Ya. M. Barzdin'; A. N. Brazma; E. B. Kinber 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 721 KB

Reasoning and Verification: State of the

📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 598 KB

Soil horizon designation: State of the a

✍ M. I. Gerasimova, I. I. Lebedeva, N. B. Khitrov 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 195 KB

Project specific monitoring and verifica

✍ Kenneth G. Macdicken 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 730 KB

Project Specific Monitoring and Verifica

✍ Kenneth G. Macdicken 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 783 KB