✦ LIBER ✦

The RISC ProofNavigator: a proving assistant for program verification in the classroom

✍ Scribed by Wolfgang Schreiner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of the check program for ca

✍ I. V. Pyrkov; E. A. Ivanov; L. P. Kham'yanov 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 204 KB

A computer program to assist in the choi

✍ Todd W. Sands; Michael L. Petras; Janny van Wijngaarden 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 1014 KB

Structural analysis and identification o

✍ Kris Gevaert; Jean-Luc Verschelde; Magda Puype; Jozef Van Damme; Marc Goethals; 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 765 KB