✦ LIBER ✦

Session D2: Software engineering: Formal methods I

✍ Scribed by Josef de Man

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software engineering and formal methods

✍ Bernhard Aichernig; Bernhard Beckert 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 66 KB

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Session B3: Formal Methods I

📂 Article 📅 1989 🏛 Elsevier Science ⚖ 47 KB

Formal methods integration in software e

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB

Session C3: Software engineering I

📂 Article 📅 1990 🏛 Elsevier Science ⚖ 120 KB

Session D3: Software engineering II

📂 Article 📅 1990 🏛 Elsevier Science ⚖ 9 KB