✦ LIBER ✦

Attribute annotations and their use in C program deductive verification

✍ Scribed by M. M. Atuchin, I. S. Anureev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Global attributes and their use in the d

✍ A.N. Biryukov; V.M. Kurochkin; V.A. Serebryakov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 676 KB

Identification of Rice Cultivars Resista

✍ Stout, Michael J.; Rice, William C.; Linscombe, Steven D.; Bollich, Patrick K. 📂 Article 📅 2001 🏛 Bioone 🌐 English ⚖ 152 KB

A compilation of n-p and n-C cross secti

✍ A. Del Guerra 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 850 KB