✦ LIBER ✦

Modular specification and verification of XTP

✍ Scribed by Peter Herrmann; Heiko Krumm

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Protocol specification, testing and veri

📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 557 KB

Protocol specification, testing, and ver

✍ Carl Sunshine 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 119 KB

Protocol specification, testing and veri

📂 Article 📅 1984 🏛 Elsevier Science ⚖ 773 KB

Protocol specification, testing and veri

📂 Article 📅 1984 🏛 Elsevier Science ⚖ 844 KB

Formal Specification and Verification of

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Formal specification and verification of

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB