✦ LIBER ✦

Preface to a special section on verification, model checking, and abstract interpretation

✍ Scribed by Neil D. Jones; Markus Müller-Olm

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special section on advances in reachabil

✍ Michael Huth; Orna Grumberg 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 207 KB

Preface to the special section on the im

✍ A. Villa 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 145 KB