✦ LIBER ✦

Introduction to the Special Issue on Computer-Aided Verification (CAV93)

✍ Scribed by Costas Courcoubetis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction to special issue on compute

✍ A.U. Meyer; W.K. Weissman 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 70 KB

Introduction to the special issue on com

✍ Terry M. Walker 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 56 KB

Introduction to the special issue on run

✍ Sokolsky, Oleg; Roşu, Grigore 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 145 KB

Introduction to special issue on AIDS

✍ Robert J. Landy 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 182 KB

Introduction to Special Issue on AIDS

📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB

Preface to the special issue on computer

✍ Kokichi Sugihara; Ichiro Hagiwara 📂 Article 📅 2011 🏛 Japan Society for Industrial and Applied Mathemati 🌐 English ⚖ 49 KB