✦ LIBER ✦

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

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program Verification: State of the Art,

✍ S. L. Kryvyi,O. M. Maksymets 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 122 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

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

Commercial thermophysical instruments (s

✍ V. V. Kurepin; G. S. Petrov; V. M. Kozin 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 418 KB