✦ LIBER ✦

Session C3: Formal methods II

✍ Scribed by Raymond T. Boute

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Session B3: Formal Methods I

📂 Article 📅 1989 🏛 Elsevier Science ⚖ 47 KB

Session B3: Formal issues

📂 Article 📅 1990 🏛 Elsevier Science ⚖ 8 KB

Session D2: Software engineering: Formal

✍ Josef de Man 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 36 KB

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Plenary Session II: Biometric Methods

✍ Propping, Peter 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 29 KB 👁 1 views

Session H3: Testing methods

✍ : Fausto Distante 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 73 KB